Now with GNOME 3, Linux Mint 12 Will Meet Users Halfway