Re: info-lookup-symbol index case sensitivity

[Kevin Ryde]

Richard Stallman <address@hidden> writes:
>
> That would be reasonable.  Want to do it?

Yes I might have a go at that.

It might be possible to cooperate with Info-index-next to show
alternatives to the best match.  The same perhaps for duplicate
matches, like when say "echo" is in the bash manual and the coreutils
manual.  But that'd probably need a change to the way the info-look
caching is done (if I'm not mistaken duplicates are suppressed).