Controversy over GNOME 3