Olsonデータベースファイルで2018年ブラジル夏時間（夏時間）を変更するには？

ブラジル政府は、現地では夏時間として知られるブラジルDST（夏時間）の開始時間を変更する法律を制定しました。

新しい夏時間が来月から適用されますより正確には2018年11月18日。そのため、オペレーティングシステムのアップデートでは、新しいOlsonのアップデートを待つ時間が足りなくなり、新しいOlsonデータベースパッケージをダウンロードするのに十分ではない可能性があります。

tzdb-2018e.tar.tz私は以下からファイルをダウンロードしました。https://www.iana.org/time-zones。パッケージ内でファイルを見つけ、southamerica次の項目が見つかりました。

...
# From Steffen Thorsen (2017-12-18):
# According to many media sources, next year's DST start in Brazil will move to
# the first Sunday of November, and it will stay like that for the years after.
# ... https://www.timeanddate.com/news/time/brazil-delays-dst-2018.html
# From Steffen Thorsen (2017-12-20):
# http://www.planalto.gov.br/ccivil_03/_ato2015-2018/2017/decreto/D9242.htm
Rule    Brazil  2018    max -   Nov Sun>=1  0:00    1:00    -
Rule    Brazil  2023    only    -   Feb Sun>=22 0:00    0   -
...

2018年の参加規則の以前の注意事項は、2017年末の既存の法律と一致していましたが、新しい法律に従って2018年11月の第3日曜日に変更されました。

Olsonエントリを編集して11月の第3日曜日に移動するにはどうすればよいですか？私はSun>=3成功せずにこれを試しました。