if the Pop!_Shell extensions get made mainline in addition to the changes here, I will probably go from disliking/tolerating vanilla GNOME to possibly daily driving.