The official release of version 3 of Linux Mint Debian Edition hit the download servers at summer’s end, offering a subtle alternative to the distro’s Ubuntu-based counterpart. Codenamed “Cindy,” the ...