The text f838bf38ca70, as Debian 11 (Bullseye) shipped it.
Convert TeX DVI file to PDF using ghostscript and dvips
dvipdf(1) on Linux now
