The text 9e380afc84fa, as Debian 1.3 (Bo) shipped it.
structured text formatting and typesetting
amstex(1) on Linux now