Add indications for Gnome 3.8 in the FAQ