@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!