Added two gnome-shell extensions