There is also a Fedora spin with Cinnamon as the default DE: <a href="https:&#x2F;&#x2F;spins.fedoraproject.org&#x2F;en&#x2F;cinnamon&#x2F;" rel="nofollow">https:&#x2F;&#x2F;spins.fedoraproject.org&#x2F;en&#x2F;cinnamon&#x2F;</a>