Linux Mint 16, also known as “Petra,” is a very solid release that fixes a lot of annoying traits left behind in previous versions.The operating system is based on Ubuntu 13.10, and that solid ...