PDF-Qualität nach OCR in DT schlechter als vorher

Bei der aktuellsten OCR Version gibt es meiner Erfahrung nach Unstimmigkeiten. Siehe
https://discourse.devontechnologies.com/t/ocr-problems-after-update-3-51