March 1, 2019
6:48 p.m.
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/>.