https://www.learnitguide.net/2023/04/is-linux-mint-cinnamon-free.html