The text f5ca1eed86f3, as Debian 10 (Buster) shipped it.
doctools plugin API reference
doctools_plugin_apiref(3tcl) on Linux now
