The text 138a282da458, as Debian 9 (Stretch), Debian 8 (Jessie) shipped it.
docidx language syntax
docidx_lang_syntax(3tcl) on Linux now
