The text 80fb4f73f6ed, as Debian 10 (Buster) shipped it.
Control sequence definitions for chardefs.
LaTeXML::Core::Definition::CharDef(3pm) on Linux now
