Re: Fwd: Gnome-shell very slow on boot