I just updated the tools page with an even easier way to search this website. If you use Chrome web browser, you can install the Supercharge extension. With that extension it's super easy to search any website you're visiting.

Here's a link to the extension:

chrome.google.com/webstore/detail/supercharge/imjaflpheokfhbbmdohmmpabecjfigem

And here is how it works:

When you've installed both Chrome and the extension, you can easily search this (and any other) website by typing an 's' in the address bar followed by a space. That is the 's' for search or supercharge (don't type the quotes). Everything you type next will be used as your search query, see also the image below for an example:

Cheers,

ninja