I think there are searchable .pdf's on archive, and OCR dumps (which aren't completely accurate but butter than nuthting)

They are OCR-ed. In the web viewer click on the magnifier icon on the left toolbar, or you can download them in PDF, EPUB or other formats.