The text 0f73e2934a34, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
doctoc export plugin
export_doctoc(3tcl) on Linux now
