I've noticed this this is pretty specific to the GNOME Keyboard Shortcuts preferences dialog -- most other things seem to show <Super> instead
I've noticed this this is pretty specific to the GNOME Keyboard Shortcuts preferences dialog -- most other things seem to show <Super> instead