... perhaps the solution is to give the user an option in the "Launcher and Menus" control panel to turn off or change the Super (only, by itself) key behaviour?
... perhaps the solution is to give the user an option in the "Launcher and Menus" control panel to turn off or change the Super (only, by itself) key behaviour?