@vkc ended up costing Mint a couple years ago and thus I’m a fan of Cinammon!

It’s pretty great to have so many options!