Is this even lighter than Cinnamon? I've been using Cinnamon with Mint 13 for weeks now and I love that OS. If it weren't for my Hitman games, I wouldn't even boot to Windows at all these days.