GNOME 3 was a mistake