On Jan 6, 2023, at 1:50 AM, Bastian Germann <b...@debian.org> wrote: > > But there is a version available at > https://sourceforge.net/projects/ocr-a-font/ that might be free. > You can certainly replace it.
This one seems better than that one: https://tsukurimashou.osdn.jp/ocr.php.en Annoyingly, the name changes from "OCR A Std" to "OCR A".