Thanks Paul! Your changes look good to me. This will save a bunch of people downstream a lot of time to avoid special-casing these legacy names.

Thanks again,

Justin

On Wed, May 22, 2024 at 2:32 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

On 2024-05-22 08:32, Yoshito Umaoka wrote:
> I propose -
>
> 1) Move these legacy zones to “backzone” with keeping the current definition.
> 2) Also add them in “backward” file, but change EST5EDT and others as “Link” of modern zone sharing same historic offsets.

Thanks, good suggestions. I installed the attached patches into the
development repository on GitHub to attempt to implement them; please
give the patches a try.