My Ubuntu Mate desktop has gotten glitchy, and I think I'm going to do a clean install and try Pop OS. And make a separate home partition, like responsible grown-ups do. It's a production machine, so I want it to be boring and stable, though I may leave an extra partition for my bud Manjaro.