The text 7b7f20fdd66f, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.
docidx introduction
docidx_intro(3tcl) on Linux now
