The text 8985bed1c677, as Debian 7 (Wheezy) shipped it.
docidx export plugin
export_docidx(3tcl) on Linux now
