4 ms·

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