Re: Colon in index items

[Karl Berry]

    Let's quickly change Makeinfo to convert colon to `<colon>'

As I said yesterday: Let's get rid of the warning instead. The index
entries won't work, but that is obviously not a big deal since I 
don't remember more than one or two bug reports about it in 10+ years.

Then we can do the real fix (quoting node names) in a future release.

Mapping : to <colon> in index entries and user input seems like a lot of
work for a kludge that does not really solve the problem.

    and change the Emacs manual sources back.

Agreed.