Can anyone recommend a Free and Open Source tool good for this sort of digitizing work? Presumably transforming photos of documents into PDF files with OCR annotations, though I don't see that it has to be PDF. Decent handling of formulae would be a plus.
Also, the website's cookie-consent dark-pattern leaves a bad impression.