I couldn't agree more: Cinnamon 1.4 is fast, stable and very usable. Add any dock of your choice, and it's a complete, working, very effective alternative to Gnome Shell / Unity.
Also the devs are very receptive to user feedback, striking a fair balance between the two extremes of being the users' slave coding machines (more a convenient strawman than anything real imho) and being the coding elite graciously donating the fruits of their visionary wisdom to the masses (the other way round here ;)
The only thing I miss is the Zeitgeist extension for Gnome 3 that I started using in Linux Mint 12, I wonder how that could be implemented since the whole overlay thing concept is gone.