The text b45396f3c1bf, as Debian 10 (Buster) shipped it.
doctools introduction
doctools_intro(3tcl) on Linux now
