Re: (ITS#7505) liblmdb can fail with MDB_PAGE_FULL on a delete