Sì Cinnamon è un fork di Gnome3, almeno così dice wikipedia
io seguo da poco questa distro. La prima versione che ho provato è stata la 13, però ad ogni release vedo sempre qualche passo in avanti ed ora è diventato il mio sistema operativo principale