Re: How to change from gnome to KDE and back?