The search function had two issues:
- It was slow
- It often contained very old posts (which is not surprising, with 15 years of history)
It now uses an index of more recent posts, which makes it much faster as well as more relevant in most cases. If you need more precise search, use the advanced search (just press enter after searching or click ‘show more’). Here’s an example.