TestImportCounterSyncAfterHighID demonstrates that importing an issue with a high explicit ID (bd-100) doesn't sync the auto-increment counter, causing the next auto-generated ID to be bd-4 instead of bd-101. This test currently fails and documents the expected behavior.