Does a LMDB database file ever shrink, after row deletion, if so when?