Every week I see problem organizers thank MikeMirzayanov for this platform, but I am unsure if their appreciation extends to the search functionality. Maybe they are utilizing searches differently; I mainly use it to wait a few minutes for no results.