I've been using Mint (Cinnamon) exclusively for the last four years or so, and I'm generally completely happy and satisfied and I don't miss Windows at all. Except for one thing: Windows terminal. And actually just one part of Windows terminal: being able to give different names to tabs. I don't want to use a different terminal with AI bullshit or anything, I just want to have different names in tabs. Anybody? #linux #linuxmint