The text eca6d4b10798, as Debian 11 (Bullseye) shipped it.
convert DocBook Booksto Texinfo documents
docbook2texi-spec.pl(1) on Linux now
