Re: Colon in index items

[Richard Stallman]

    This was considered as well.  The problem with this is that you'd like 
    the Info reader to display `colon' as `:', otherwise it would confuse 
    users, I think.

It would not confuse them any more than the change you are making in
the source files, which consists of replacing `:' with `colon'.
What appears in the index in Info would be the same either way,
and the behavior of the i command would be the same either way.
But your change gives bad results in other output formats.
My change would avoid that.

I now think that the change in the source code is a change for the
worse, and that it should be reverted whether or not Info is changed.
This is for the sake of the other output formats.  In Info it does
not make much difference whether the colon is replaced with `colon'
or just makes that particular index entry nonfunctional.