Поскольку оверлей open-overlay был сегодня без предупреждения удален с концами, даже вместе с аккаунтом автора, то я добавил MATE 1.12.0 в свой оверлей.
Cinnamon 2.8 в оверлей не добавил, поскольку я его не использую, но у меня есть последняя версия open-overlay на тот момент, когда он был еще жив. Вытянул ее со своего сервера, на котором все портежи и оверлеи обновляются каждые 2 часа, так что версия скорее всего последняя. Вот она. Пользователи Cinnamon могут скопировать нужные ебилды в свой локальный оверлей и пользоваться.
Так что пользуйтесь, если хотите.