The text d41194790d56, as Debian 10 (Buster) shipped it.
Exporting tables of contents
toc_export(3tcl) on Linux now
