The text 9eb207d7eec7, as Debian 9 (Stretch) shipped it.
docidx - Processing indices
docidx(3tcl) on Linux now
