The text 537c47eea3d6, as Debian 5.0 (Lenny) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
