The text a5be56e86bb3, as Debian 4.0 (Etch) shipped it.
produce modified copy of DVI file
odvicopy(1) on Linux now
