sync gnome-shell extension