Thanks so much, @tkadlubo! Bug reports are a very genuine expression of love indeed. (:
Reminder to everyone who’s noticed this to hit like (heart) on @tkadlubo’s post and chime in if this gets too buried before we get to it.
Related thought in the meantime: In the US it seems to be common to use “EST/CST/MST/PST” to just mean “eastern/central/mountain/pacific time, summer or winter as appropriate”. It should be, for example, “EST” in winter and “EDT” in summer, but people seem to not do that. Anyway, maybe this sort of thing could be avoided by just using city names for timezones instead of the abbreviations.