The search functionality needs JavaScript enabled
cleanup if unused since last checkpoint
void cleanup();