Lots of gnome shell fixes