Fort Worth – Now 10th largest US city (en.wikipedia.org)

It appears to have taken San Jose’s place, from a combination of San Jose shrinking and Fort Worth growing.

Fort Worth's population was 918,915 as of the official 2020 U.S. census count, making it the 11th-most populous city in the United States.[7][8]

What’s going on with this post?