Cinnamon - это полноценный форк?

с РОСА шрифтами надеюсь?

Это форк GNOME Shell, а не GNOME 3.

А в чем отличие GNOME Shell от GNOME 3?

В том, что GNOME Shell является компонентом GNOME 3.

Кстати. Есть ли на Cinnamon проблемы с проприетарными драйверми amd как в Gnome-Shell (вылеты и артефакты)?

Есть ли на Cinnamon проблемы с проприетарными драйверми amd как в Gnome-Shell (вылеты и артефакты)?

У меня он (она?) вообще не завёлся на сусе 12 с такими дровами

Вылеты исправлены только в 3.4, артефакты пофиксили еще полгода назад. А вообще, я бы сказал, cinnamon ведет себя точно так же, как gnome-shell.

Это замена только gnome-shell. Лично мне нравится, но имхо ее еще надо пилить. И если хочешь оценить возможности - попробуй 13 минт, там cinnamon во всей красе.

Ок. Последнюю версию 3.2 пробовал.

Ну а все же, если убрать Gnome Shell вообще, то что останется от Gnome 3? Я привык, что любая DE - это как минимум оконный менеджер + панель + несколько служебных программ, вроде программы для настройки раскладки клавиатуры. А что включает в себя Gnome Shell и почему нельзя обойтись чистым Gnome 3 - это мне не совсем понятно.

Остается все. Cinnamon - это форк самой оболочки gnome-shell и его оконного менеджера (mutter). Все остальное - это часть гнома 3 и минтовцы ее не трогают.