Può essere.
Se ti può interessare, comunque, è disponibile Cinnamon 1.2, che migliora parecchie cosette.