The text 9e1b7cb200e8, as Debian 8 (Jessie) shipped it. The page shows this text now.
survex printer settings
print.ini(5) on Linux now
