Decided to install the Micro OS Desktop Gnome. First thing I notice is that during the installation GRUB fails to detect and configure for other operating systems, in this case Windows 10 (yeah, I know but I need it for certain tasks), so there is no GRUB boot menu item for the other OS. I ran the installation twice just to be sure I didn't miss anything. Fortunately, I can still boot that by entering my BIOS boot menu, but that's an unnecessary additional step IMHO.