The text f1e7a6555b4d, as Debian 10 (Buster) shipped it.
generate HTML for EMBOSS::GUI
EMBOSS::GUI::XHTML(3pm) on Linux now