Merge "Change the "Brasilia" time zone to follow America/Sao_Paulo DST rules."