Re: Todays exercise of sanity (or does "see" really match "not"?)

[Richard Stallman]

    > Actually, the fact that search does not match `see' when
    > Info-hide-note-references is enabled is also confusing, unless one
    > knows the internals of Info-hide-note-references.

    I suggest you put it on the TODO list for after(!!) the release.

Please don't.  I think this would be very hard and is not the cost in
code complexity.