${lead}
Cinnamon 2.0 lässt sich über die Fedora-20-Depots leicht nachinstallieren; eine Cinnamon-Variante der Distribution gibt es nicht.