The text f94f6ead41a1, as Debian 9 (Stretch) shipped it.
doctools - Processing documents
doctools(3tcl) on Linux now
