The text 015c9b1307a7, as Debian 11 (Bullseye) shipped it.
structured text formatting and typesetting
amstex(1) on Linux now
