At the same time, Cinnamon 1.2 was released(http://www.webupd8.org/2012/01/cinnamon-12-released-with-desktop.html http://www.webupd8.org/2012/01/cinnamon-12-rel

At the same time, Cinnamon 1.2 was released(http://www.webupd8.org/2012/01/cinnamon-12-released-with-desktop.html http://www.webupd8.org/2012/01/cinnamon-12-released-with-des...) which is a Gnome Shell fork with Gnome 2 usability, by the makers of Linux Mint.