The text deb7c021a7e4, as Debian 7 (Wheezy) shipped it.
doctools language introduction
doctools_lang_intro(3tcl) on Linux now
