The text d248b34cc66e, as Debian 2.2 (Potato) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
