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

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/>.