The text 28a1628a8c56, as Debian 1.3 (Bo) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
