@feld @cuchaz Heh, sorry, what I mean is -- what is the *category* named? EST and EDT aren't "time zones", as far as I'm aware, because ET is the time zone. So what are they?