"As was largely hashed out over China, changing to Hanoi would in fact *not* be consistent--the standard is largest
city, not necessarily capital. (For example, Australia, Canada, China, India, New Zealand, South Africa, and the USA
do not have explicit listings for their capital cities.) I argued that Beijing should be in because of its
significance in determining Chinese-calendar dates, but lost that one. As for what to call any given city, on that I
have no opinion."
Answers from upstream so far:
"As was largely hashed out over China, changing to Hanoi would in fact *not* be consistent--the standard is largest
city, not necessarily capital. (For example, Australia, Canada, China, India, New Zealand, South Africa, and the USA
do not have explicit listings for their capital cities.) I argued that Beijing should be in because of its
significance in determining Chinese-calendar dates, but lost that one. As for what to call any given city, on that I
have no opinion."
Let's see whether anyone else replies.