The search bar at the top of the website was broken.
- Anonymous users could not do any searches
- Normal users would always get a blank result
Both of these issues have been fixed. This has been long overdue. With the increase in content on the site, it should make it much easier to find stuff.