The text 88db2dba5fcb, as Debian 4.0 (Etch) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
