Delete the Gnome 3.8 point in the FAQ