I think I may switch Linux distros on my Macbook Pro from Mint to Ubuntu. GNOME has come such a long way, I think I like it better than Cinnamon now.