I am sad that they discontinued their Pop Shell gnome extension.

I use GNOME but with the animations completely turned off. That combined with the tiling shell feels really snappy and good. I am really considering forking that extension and also visually improving it a little (not a fan of their design language, though I like the modern adwaita style of gtk/gnome apps).