Re: gnome-shell desktop freezes sometimes in F17