@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
@monsieuricon This is one of my pet peeves tbh. If there is genuine confusion over EST vs EDT (which there can be! Especially in this weird gap with Europe!) then go ahead and ask but I'm very tired of seeing people treat this like an "you used 'there' instead of 'their', I am very smart at grammar" moment
@monsieuricon @monsieuricon would you have prefered "UTC-5"? :P
@monsieuricon i had fun with the "EST5EDT" "zone" in the past, i don't think i'll ever get past that trauma... and it's probably a footgun i've left in undertime(1) still...
@monsieuricon people who quietly suffer when others are wrong on the internet make the world go round