The Inria site has a search page, and tips on using the page. Is it now obsolete, or can we make use of it still? It does search the Hump, mailing list archives, online documentation, and the standard library, none of which are covered by our search box.
Search over the Hump is moot. Search over mailing lists, online documentation, and library APIs are entire projects each. Thus, closing this issue.