Linux aficionados gained a new option Monday, thanks to the release of Peppermint OS. Checking in at under 512 MB, Peppermint is a Linux-based operating system that’s designed to be cloud/Web-centric, ...