back to GNOME 3 as default, but KDE, Cinnamon and MATE are available