Re: Changes in the menu bar

[Richard Stallman]

    Well, the code now does both: it searches for the term, and leaves
    the user in the Glossary, so the user could search for more.

I think it is an unnecessary annoyance to ask for the term in the
minibuffer--especially since it does not have a list of which terms
are available, so it can't offer any convenience such as completion.
It would be better just to go to the glossary and let the user
search manually.