This is by no means a solution, but you should find that the middle-left search box returns more results than the top-right one.
The drawback is that many of the page titles come up looking like spam (the site got hacked and we don't seem to be able to get the Google cache to update).
However, the content is still correct.
