More pantheon updates. gnome-shell-extensions branch switch