Linux Mint, a community Linux distribution that includes some proprietary elements for a better “out of the box” user experience, is now available in an edition with KDE as its desktop environment.