The text c880f6c9136e, as Debian 2.2 (Potato) shipped it.
convert DocBook documents to man pages
docbook2man(1) on Linux now