panel-main-menu keyboard shortcut still used by GNOME Classic
The GNOME Classic mode (provided by gnome-shell-extensions) still uses the panel-main-menu
keyboard shortcut.
Also, I believe Budgie uses that keyboard shortcut for its menu too.
I suggest reverting d45dbf4f for GNOME 41.
Test Case
- Log into GNOME Classic on GNOME 40.
- Press Alt-F1. The Applications menu opens.
- Run
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu []
- Press Alt-F1. The Applications menu does not open.