[dboreham]

Although there's a search box, a few test queries suggests that most (all?) of the material is scanned paper documents that haven't been OCR'ed and therefore the search function is useless.