Installed and activated this morning. I'm already a fan. Easily revertible if I decide later that I hate it, but I like this workspace strategy much better than

Installed and activated this morning. I'm already a fan. Easily revertible if I decide later that I hate it, but I like this workspace strategy much better than what's built-in with gnome. I did find it a bit challenging to figure out where the settings were located (I don't use many GNOME extensions), but once I figured out the settings are on the extensions.gnome.org page for the extension it was lot easier.