Not OP, I like gnome and all but I Ubuntu’s extensions/custom version of gnome is awful and makes trying to change settings so much worse because the gnome documentation doesn’t always match with all of the changes Ubuntu adds on top. Maybe they’re talking about that?