The text f7b5c2659f9e, as Debian 10 (Buster) shipped it.
doctools language introduction
doctools_lang_intro(3tcl) on Linux now
