> Sometimes they are literally an OCR of the print book! You can tell because of the symbol substitutions.

Not really. TEX for example does a lot of weird character substitution behind the scenes to mangle the layout.