Cinnamon isn't the default desktop environment for Linux Mint, it also happens to be a very popular GUI for several distributions, such as Artix Linux, FerenOS, Manjaro, Fedora Cinnamon, Debian ...