Some gnome shell extensions written by me.