Hello List: I have recently migrated to Xfce, and now I would get rid of gnome as it seems to become an heavy machinery: what is the best way to so ? Thanks in advance, Jerome