Linux Mint 20.1 with Cinnamon opens the terminal when hitting Super+2 and brings windows to the front with Super+3 and Super+4. Super meaning the Windows-Key.
I would like to use these shortcuts otherwise, but going into the shortcuts tab of the "keyboard" window, the unwanted shortcuts are not even registered there, so I can't unbind them. Are they maybe a remnant of Ubuntu, and most importantly: how do I remove / disable these pre-defined shortcuts?
PS: Here's screenshots of my shortcut settings; I want Super+2 to switch to workspace 2, nonetheless it opens the terminal.
This is the (relevant) output of
dconf dump /:
[org/cinnamon/desktop/keybindings/wm] push-tile-left=@as  push-tile-right=@as  switch-to-workspace-1=['<Super>1'] switch-to-workspace-2=['<Super>2'] switch-to-workspace-3=['<Super>3'] switch-to-workspace-4=['<Super>4'] switch-to-workspace-left=['<Super>Left'] switch-to-workspace-right=['<Super>Right']
so the shortcuts I want are correctly registered there.