The text a6f4494ca5b0, as Debian 3.0 (Woody) shipped it.
convert DocBook RefEntries to man pages
docbook2man-spec.pl(1) on Linux now
