We just rolled out a new website search engine (based on Google) in the top right box on the website. Please let me know if there are any issues, or if you get poor search results. We can do a LOT of tuning to the results, so we'll be watching queries and will seek to improve result quality over time.