Cinnamon 2.0 Ditches GNOME