The text 95ab4bab2b71, as Debian 10 (Buster) shipped it.
Modify a DVI file to be page-independent in specials
dvispc(1) on Linux now
