Is there a way in #Gnome to make the right Super (aka "Windows") key behave like the left one? It would be nice to be able to lock the screen with one hand. Besides, I have zero idea what the "right Super" is even supposed to do on Gnome, because it doesn't obviously do anything except not act like a Super key.