Uso o GNOME como DE. Não vejo sentido em instalar o Mint e fazer uma baita mão pra tirar o Cinamom. A chance de ter dor de cabeça pra nada é grande.