Make MATE default!!1!
Mate doesn't need to be the default, but it does need to be easily installable. I never understood the "Kubuntu", "Xubuntu" etc. line of distros when the alternate DEs were easily available in stock Ubuntu. Similarly RHEL ought to make sure KDE is easily installable no matter what is their default... (Though is it common to even run a DE on Redhat?)
we were running centos on the server, so figured i'd use it for my dev vm as well.