I love Cinnamon and run it on a few machines, and as soon as they sort out mixed DPI support I'll be switching back from Gnome on my main machine too. It's been a while since I've tested actually...