Re: HDB compared with LMDB