What’s the functional difference between the two Linux Mint versions? I’m thinking of switching to Mint as my daily driver even for my gaming pc, wondering if there’s anything I should be concerned about. Honestly I don’t even know the difference between Debian and Mint aside from the desktop environments they come packaged with.