In today's open source roundup: Download Linux Mint Debian Edition 2. Plus: Linux Mint 17.2 now has an official codename. And should you buy a Chromebook? Linux Mint Debian Edition is not as well ...