Agree(Mac OS required)
Start the game
Change the "Mac Mouse" option to true
Exit the game
Start again
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