The whole point of the extension system was to get the base install smaller and more minimized for people that don't need the feature -- I think that's an entir

The whole point of the extension system was to get the base install smaller and more minimized for people that don't need the feature -- I think that's an entirely fair tradeoff given how easy extension installs have been early on in gnome3.