The text a8a463d50f88, as Debian 7 (Wheezy) shipped it.
doctoc import plugin
import_doctoc(3tcl) on Linux now
