Michael Catanzaro <mcatanzaro <at> gnome.org> writes:
I agree. Secret buttons not affect the behavior of menu items. If
you
have time, you could file a bug for this upstream and see where it
goes....
I commented at
https://bugzilla.gnome.org/show_bug.cgi?id=543996#c9 .
It looks like
https://bugzilla.gnome.org/show_bug.cgi?id=732022
already
exits for the missing hotkeys; their removal wasn't intentional.
That's something, anyway. Unfortunately new users will still have no easy
way to learn about the hotkeys for the non-default option, or even that that
option exists.