I want to know the answer to the following question:
What is the "official" term to denote a citizen of Mexico City?
All the background I'm provided with is that "Residents of Mexico City are more recently called defeños (deriving from the postal abbreviation of the Federal District in Spanish: D.F., which is read "De-Efe").". Is that enough to answer the question?