“I understand that this is largely a pre-Covid population, but adding over 600,000 people is like adding the population of Miami."
This is such horseshit that any rational reader should immediate see through it. Miami, the largest city in Florida, and one of the largest cities in the united states, being reduced to just "Miami City" population is an absolute joke.
Miami-Dade, with 2,716,940 people in 2019, is the seventh most populous county in the United States. ... Miami metropolitan area, with 6,166,488 people. Census, April 1, 2020 Miami City: 442,241 people.
Miami City has only ~600,000 because practically every 4 square mile area of Miami is its own incorporated city like Pinecrest, Coral Gables, etc.