Anyways - I just found out I'll have to go to Shanghai next month for a work event and it turns out it's twice as populous as CDMX, so that should be an interesting experience.
On a related note - anyone got recommendations for what to do when visiting Shanghai for the first time?