The text 7518d3520fdb, as Debian 10 (Buster) shipped it.
Exporting keyword indices
idx_export(3tcl) on Linux now
