Mailing the story:

Today, we’ve made the difficult decision to change the direction of our distro. While Cinnamon is a great user interface and we’ve had a lot of fun implementing it, it’s become too much a burden to maintain/update going forward. We’d like to remain faithful and compatible to our parent distro, Arch Linux, and further support of Cinnamon would strain that by causing incompatibilities/hacks in the entirety of the Gnome packageset. It is almost impossible to maintain software developed by Linux Mint in a rolling release as we are. They’re 1 year behind with upstream code. Arch Linux is going to have soon Gnome 3.8 and Cinnamon is not compatible with it. The Cinnamon team still have to migrate some of their tools to fully work with Gnome 3.6.