The search functionality needs JavaScript enabled
removes entries not used after last call of checkpoint() or cleanup()
void cleanup();