Linux Mint 15 KDE has been released, and it’s a great option for Linux Mint users who prefer the KDE desktop. The default version of Linux Mint 15 uses the Cinnamon desktop environment. It’s great, but it’s clearly not for everybody. KDE has much to offer, and many people prefer it to Cinnamon (or even to MATE).