No problem! Yes, archive.org has OCRed all the text, but it needs a lot of finessing to bring up the quality to an acceptable standard.

Typically, Standard Ebooks will try to avoid OCR unless it’s something that’s missing from Gutenberg.

Thank you for your time!

(If you started some sort of AMA here I'm sure it would be successful.)