The text 30cae447203c, as Debian 13 (Trixie) shipped it.
Make Texinfo files from Texi-XML
db2x_texixml(1) on Linux now
