The text a3ed3f522b76, as Debian 7 (Wheezy) shipped it.
doctools - Processing documents
doctools(3tcl) on Linux now
