My own extensions to gnome-shell