Re: (ITS#8221) getting MDB_PAGE_FULL using mdb_cursor_del