That’s true, but I would amend it to say that the EC and our stupid FPTP system, plus the bias of the senate, are what’s keeping the entire Republican Party relevant.
The rabid and mean stupidity is what is keeping Donald Trump in particular in the race. The establishment might actually like to get rid of him and get back to “money good, human well being bad” like God intended, but they could not get away with it yet.
If he got the cinnamon version, that is indeed the default Ubuntu based one. I use the same thing.
One of the biggest draws of regular Mint IMO is that it leverages the advantages and resources of Ubuntu but it removes the parts that many people don’t like.