> No, the database size never gets smaller. Once garbage has been
> dealt with, the space those obsolete records were using is released
> for re-use.

I still was in the C#/OCaml/... mindset and assumed GC would reduce
the file size (I must have missed this part in the doc). Thanks a lot
for the clarification.

--
Ael