What kind of post-coronavirus metropolis do we want?