I’m enjoying a freshly installed Fedora 34 with GNOME 40. According to the welcome page of the latter, you can switch workspaces with Super + Alt + Scroll. In my system, for some reason, that doesn’t work. What works is Super + Middle click + Scroll. Funny.
I can’t seem to find a setting to change this behaviour. How can I (re)set the originally intended behaviour?