Linux Mint developers make GNOME 3 edition plans