The text 3d62a7f22cd6, as Debian 3.1 (Sarge) shipped it.
Convert a DOCBOOK file to gjots format (on stdout)
docbook2gjots(1) on Linux now
