Drop gnome-extra/gnome-shell-extensions-activities-button