Steve Jones wrote:
if I understand this, the portion of the panhandle currently in the Central time zone would be permanently on CDT (=EST), while the remainder of the state would be on permanent EDT (=AST)?
Yes, that's the current proposal. If we followed past procedure, we'd use EST and AST for the two new regions' time zone abbreviations, which would be consistent with what the Massachusetts and other legislatures are proposing. This might lead to further confusion if some Floridians call the new time zones "EST" and "AST" while others call them "CDT" and "EDT" (the latter presumably would want tm_isdst nonzero all year, something POSIX doesn't support). I suppose we could just use "-05" and "-04" to avoid taking sides. But my preference would be to follow past procedure.