[wsypaul]

BTW, I think it is a bug.
Omni says that after every sync operation, the database would be compacted. But it does not work as expected.