Re: Gnome shell high memory usage