I haven't looked at the software available for some 12 years or so, way back when I was sorting out old manual pdfs. For one such manual I wanted to redo it completely, something where I started trying to identify the font, but then got too sick to continue with that hobby. I didn't feel like going the path of if the font was unique to map each character into a font table.
Tools seem to have improved. A quick search found one such tool that might be useful to you.