GNOME Shell fixes