@happyborg I think that's pretty much where I am with it too. It takes maybe half an hour of installing extensions, playing with gnome-tweaks and flipping dconf settings, but at least those things are possible and turn it into quite a pleasant experience after that. DashToDock is great :)