¿Te parece que Clem y el equipo de desarrolladores de Mint serían tan tontos de meter en Mint 13 (que para peor será "long time supported") un DE tan frágil que con sólo aplicar alguna configuración se desbaratara completamente?
Yo no he dicho nada de Cinnamon, lo único que comente y es verdad, que cuando surge una actualización mayor de un entorno, en este caso Gnome 3 sustituyendo a Gnome 2 o anteriormente Kde 4 sustituyendo a Kde 3, el nuevo entorno SIEMPRE es menos configurable y menos compatible con temas y demás, nada mas tira un googleada y te podrás dar cuenta que MUCHOS usuarios preguntan por un comando o forma de reiniciar el Gnome-shell, ¿porque sera?
Ahora si voy a comentar de Cinnamon, si Gnome-shell es tan bueno, ¿porque la necesidad de reemplazarlo con un fork?
Hay que aceptar la realidad, en mi situación personal y la de muchos, mientras menos configure Gnome 3, mas estable se porta, y es normal, debido a su inmadurez.
Al igual que KDE en la versión 4.6, Gnome 3 alcanzara la estabilidad deseada y entonces si, a tunearlo hasta el cansancio.
que para peor será "long time supported"
¿Que hay de malo con las LTS?