I’m sure there’s a smarter way to do this but I got a non OCRd PDF from my course director and I put it in Evernote so I could OCR it. I’d love to do something locally on my mac and then move it to reader by Readwise. It seams some OCR software might be a wise investment.