The Super+F1 part is intentional: https://git.gnome.org/browse/gnome-settings-daemon/commit/?id=147c0b262f For the other examples you listed, maybe you should file a bug against GNOME directly? Thanks, Jeremy Bicha