I want to know the answer to the following question:
What are locals of Mexico City called?
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?