Which manual for HP-48SX?

[SammysHP]

I OCR all manuals/documents that I scan with ocrmypdf (uses tesseract). It keeps the original image in the background, but adds invisible text so that the text search works in the document. Most text is recognized without errors, but symbols, graphics and special fonts are a problem. I highly doubt that a full conversion will work.