The text b0d9bf82ef9e, as Debian 10 (Buster) shipped it.
docidx introduction
docidx_intro(3tcl) on Linux now
