>>>FWIW, US/Eastern (and all of US/*) is deprecated. America/New_York is
>>>the "right" choice, though it may seem less friendly and more partisan
>>>than US/Eastern (convention is Continent/MajorCity or somesuch).
>>
>>I'll say! I would consider Boston and Washington D.C. to both be major 
>>cities, but neither is listed.
>
>One city per timezone.

so all of

 America/Detroit (aka US/Michigan)
 America/Grand_Turk
 America/Louisville
 America/Montreal (aka Canada/Eastern)
 America/Nassau
 America/New_York (aka EST5EDT and US/Eastern)
 America/Nipigon
 America/Thunder_Bay

are in EDT, but separate becaue they differed in the last thirty years
at some point?  hmm...

-- 
|-----< "CODE WARRIOR" >-----|
codewarrior@daemon.org             * "ah!  i see you have the internet
twofsonet@graffiti.com (Andrew Brown)                that goes *ping*!"
andrew@crossbar.com       * "information is power -- share the wealth."