The text c6ce1a0bf76a, as Debian 8 (Jessie) shipped it.
Procedures to generate HTML structures
html(3tcl) on Linux now
