If anything, the ERE wiki should have the search function available to all logged in users, or at least all regular users.

Google does a decent job of indexing it’s articles. But well, convenience.