Re: KDE without gnome-shell?