community/gnome-shell: split off gnome-extensions-app
Users may want to use an alternative to this, or not use extensions altogether, so let's let them remove it.
Users may want to use an alternative to this, or not use extensions altogether, so let's let them remove it.