Originally posted by jburg6
This website has been around for quite a while, yet the "search" function is still almost utterly useless.
Originally posted by grey580
Funny that you say that.
Now the site uses Google search to do a custom search of the site.
However it's not so good.
I suggest using the following query in Google.