@monsieuricon@social.kernel.org idk, it kind of works if you consider EDT could also considered "standard time", so "EST" is a valid synonym of "whatever time we're on in the Eastern time zone", but it brings out the problem to disambiguate "EST" as not EDT and "EST" as the time zone in general, which can be solved as the fact EDT is only used on known dates, and the fact you can use "GMT-4" and "GMT-5" to unambiguously tell time
anyway I always get EST and EDT confused so this works for me
@monsieuricon @Yuki I never remember EST vs. EDT so I just use the TZ name and write US/Eastern