The text a1a28bae2686, as Debian 2.2 (Potato) shipped it.
structured text formatting and typesetting
amstex(1) on Linux now
