The text e03ed9bd2769, as Debian 10 (Buster) shipped it.
DocTools - Keyword indices
idx_introduction(3tcl) on Linux now
