Gavin Smith wrote: > This is what is implemented in the standalone info browser (since > change on 2017-04-08).
"Defining the Entries of an Index" in the Texinfo manual continues to say (through Texinfo 6.5.90) "Caution: Do not use a colon in an index entry".
