[11:25] <ElectroXexual> I'm using Gnome DE and trying to bind keys super+number to switch to specific workspaces, but I see only 4 workspaces in "keyboard shortcuts" to assign shortcuts keys. How do I make "super+5" to switch to workspace 5 etc..?