The text 7e5a87a07ba4, as Debian 10 (Buster) shipped it.
structured text formatting and typesetting
amstex(1) on Linux now
