The text 0185f3c1a12a, as Debian 13 (Trixie) shipped it. The page shows this text now.
doctoc export plugin
export_doctoc(3tcl) on Linux now
