[tracker1]

Even then, Gnome updates regularly require massive updates to those extensions... Pop used to just do that in the box, but felt just having an entirely separate DE they control would be a better long run experience.