I'm surprised to see how many cities in south america have a rather long name that is not used in the praxis. Quito is one of them; its official name is San Francisco de Quito. Bogotá used to be called "Santafé de Bogotá" until 2001 when they shortened their name. Santiago de Cali, San Carlos de Bariloche, ... its a long list. It shows the strong religious influence the Spanisch conquistadores had when founding the new cities in the colonies.