I have added a new search feature to the site. I will be trying this out for a week or two and see what everyone thinks.
You can use the above search button, or the one at the very top of this site.
Let me know how it works, and if you think I should change it.
UPDATE: I added the default search box back in. Sometimes the Google Search doesn’t always find the content on this website.