Very interesting. I keep using gnome with extensions to make it easy to scroll through workspaces vertically. It works very well for me. Happy to see this.