:: Of course. "Philippopolis" is the only one among these that has seen significant usage in English, and therefore the only one that has a prima facie reasonable claim for inclusion in the lead. Of course the others have to be mentioned, and of course that can only be done down in the name section. Why are you reducing this whole issue as if it were an all-or-nothing alternative, between having all the historical names listed in the lead together, and having none of them at all?