Linux Mint, probably the most beginner-friendly Linux system out there, has hit version 12 with quite a few neat features and improvements. Chief among them is a new shell based on Gnome 3 ...