I recently had to change the keyboard-shortcuts after updating my system. I had to use
dconf-editor to manually set the shortcut from
<Mod4>+R in order to get them to work (see here).
This does work when I press the right super-key together with the specified alphabetic key, but it does not work when using the left super-key. Also, the gnome-shell menu is set to show up when I press just the super-key, but it only shows up when pressing the left one.
I'd like to have gnome-shell accept both the left and the right super-key for the shortcut, but I don't want to remap the menu-key (which is
<Super> by default).