The text e38f70d8c020, as Debian 3.1 (Sarge) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
