Comment by eigenvalue

I basically wrapped this in a simple iOS app that can take a PDF, turn it into images, and applies the native OCR to the images. It works shockingly well:

https://apps.apple.com/us/app/super-pdf-ocr/id6479674248

I probably should have just made it a free app so it would have gotten very popular, but oh well.