The text 928544fe3fbd, as Debian 10 (Buster) shipped it.
doctoc export plugin
export_doctoc(3tcl) on Linux now
