Re: LMDB file size, again