The text 947015be3ba0, as Debian 4.0 (Etch) shipped it.
structured text formatting and typesetting
amstex(1) on Linux now