[tz] [IANA #1136519] America / Sao_Paulo in the Time Zone Database

[Paul Eggert]

> Please, this case needs to be fixed:
> Wrong> America / Sao_Paulo
> Right> America / Brasilia

tzdb normally labels a Zone with the most-populous location observing
that zone; please see:

https://data.iana.org/time-zones/theory.html#naming

which says "Use the most populous among locations in a region, e.g.,
prefer Asia/Shanghai to Asia/Beijing."

Also, Zone names like America/Sao_Paulo are not intended for
inexperienced end users, and to some extent they're arbitrary. An
application that requires an entry for Brasília can map it to
America/Sao_Paulo as part of its user interface. The Unicode Common
Locale Data Repository contains data that might be useful for that sort
of thing; please see <http://cldr.unicode.org/>.