Ah, I thought a specific sequence of deleting files, adding a few file, then restoring the format from the trash might've screwed something up - I can't replicate it a second time though. I notice the newly-reindexed database is at least 250mb smaller, so maybe it was just in dire need of a vacuum.
|