Re: show minor-mode menu when you click its mode-line lighter

[Richard Stallman]

The point of this feature is that people mousing around
will find what they might expect.  It isn't necessary
to document such features.  You'll note that the manual
doesn't explain Mouse-1 on major mode names, either.
GUIs are supposed to be self-explanatory, right?

The only change needed to document this is a tiny one
in the first paragraph of Mode Line Mouse.