Re: Manual: indexes are missing links

[Richard Stallman]

    > Simply turning this on has an undesirable consequence that node names
    > are now hidden in the index node, but it is very useful to see them!
    > This is because index entries are not like normal links where nodes name
    > are not very essential.  I propose the following patch that doesn't hide
    > node names of the index entries while keeping index entries displayed
    > as links (blue and underlined).

    Good idea.

Would someone please install that patch?