> So, I am asking that gnome be dropped as an installation option (not
FYI; Ubuntu 18.04 use GNOME as default desktop. Ah yes i'm fan of GNOME.
Only if it's called "Ubuntu". One of my Machines runs Xubuntu, with XFCE. And there are quite a variety of "leading letters", including K (for KDE) and L (LXCD).