[tz] South America / Brazil / Brasilia GMT(-3:00) in the timezone database

[Paul Eggert]

On 3/5/19 1:49 AM, rhiccarddo rcd wrote:
> If the "normally" parameter used to define which city will serve as a
> reference for the time zone within the operating system is that of the
> most populous city, I ask: Why are there only seven locations randomly
> registered between cities and states

They're not random; each location represents a region whose clocks have
agreed since 1970, and there are several such regions in Brazil, each
with a distinct history. For more, please see:

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