This will be improved (time permitting). Here is a very crude search engine for finding documents on my web site, the usage is pretty self explanatory.
