The text 3848a7e5549e, as Debian 7 (Wheezy) shipped it.
docidx - Processing indices
docidx(3tcl) on Linux now
