Теперь же с каждой новой версией Mate в составе основного репозитория Ubuntu становится всё лучше и стабильнее
С Cinnamon ситуация прямо противоположная. Примерно тогда же были прекрасные стабильные сборки Гвендаля, и ещё парочка хороших PPA-репозиториев. Потом Гвендалю, видать, надоело поддерживать стабильные сборки, он оставил за собой только ночные. Которые, впрочем, были не менее стабильными иных стабильных. Потом остальные PPA начали понемногу отваливаться. Год назад Гвендаль исчез с горизонта вообще - аж мысли всякие нехорошие стали появляться, ну Вы понимаете, какие..
А новые PPA - Вы увидели, какие они...
Хорошая поддержка Cinnamon в Arch'е - теперь, с закрытием Antergos'а, тоже под вопросом.
Так что появилась мысль - не пудрить себе больше мОзги и вернуться на Mint: авось старина Клем не продастся, как Брут, ответственным работникам. Тем более, что тут он за май рапортовал о рекордной сумме донейтов