The text 5910c94d99e2, as Debian 10 (Buster) shipped it.
Parsing text in doctoc format
toc_parse(3tcl) on Linux now
