The text ddc75593d5ff, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
docidx export plugin
export_docidx(3tcl) on Linux now
