Re: GNOME Shell fixes