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