the thing is that i would not even have thought of looking there. i was at "switching windows is a pain, how can i make it better" which is not "is there a hotkey to switch windows differently, because why would i even consider that there are multiple ways to switch windows, especially with gnome that kind of has a reputation of removing seemingly unneeded features.
It does have that reputation but I've found it very usable.
"Half-maximizing" windows with Super+Left and Super+Right is very handy when I need to see things side-by-side.
Moving windows from one screen to another by pressing Super and doing drag-and-drop, and moving windows across workspaces with Shift+Super+PgUp and Shift+Super+PgDown are also convenient.
