cc71e9b329
The import was a leftover from the check_migrations design (issuecomment-2903): DbVersionError is defined in db_store but migrate() never raises it, so the import was dead. Pyright flagged it as reportUnusedImport.