So I found that my super key was not a modifier key in GNOME today, but rather a standalone key. THis was unacceptable. To change it, I did this:
System -> Preferences -> Keyboard -> Layout Options -> Alt/Win Key Behavior -> Super is mapped to Win-Keys
Now, I can change my shortcuts to not be stupid.

Comments are closed.