full-text seach engine for the exfamily.org Pubs archive
I noticed that while exfamily.org has recently added a large number of COG/TF publications to their archive, apparently they have not yet been indexed in their site search engine.

As a temporary solution, I have indexed their archive using htdig.

The search engine is available at Edit: (URL removed because it doesn't work anymore)