There is also a Fedora spin with Cinnamon as the default DE: https://spins.fedoraproject.org/en/cinnamon/