The text 913c6176a226, as Debian 7 (Wheezy) shipped it.
doctoc export plugin
export_doctoc(3tcl) on Linux now
