Add gnome-shell-extensions for now