For people playing along at home, it seems one way to do this is Computer Menu
-> Desktop Preferences -> Keyboard -> Layout Options tab. Select "Alt/Win key
behaviour" and then select "Super is mapped to Win-keys (default)" and press the
"Add+" button, and then "Close".
After that, I could use the Windows key in shortcuts. I have no idea if this
will persist after relogin, and obviously it wouldn't set it for the machine's
other users.
For people playing along at home, it seems one way to do this is Computer Menu
-> Desktop Preferences -> Keyboard -> Layout Options tab. Select "Alt/Win key
behaviour" and then select "Super is mapped to Win-keys (default)" and press the
"Add+" button, and then "Close".
After that, I could use the Windows key in shortcuts. I have no idea if this
will persist after relogin, and obviously it wouldn't set it for the machine's
other users.
Immense amounts of relevant discussion is available at http:// bugs.debian. org/271259