(Mac OS required)
1. Start the game
2. Change the "Mac Mouse" option to true
3. Under Settings > Hotkeys all actions that were Ctrl before, are now SuperExit the game
4. Change the "Mac Mouse" option to falseStart again
5. Under Settings > Hotkeys all actions that were Ctrl before, are now Super
Change the "Mac Mouse" option to false
Exit again
Start the game
Now all the Hotkeys that were Super before are now Ctrl again