proposed tz patches for Mexico, Nunavut, Vostok, etc.

[D. J. Bernstein]

> At present EST might mean Eastern Standard Time (in the US or Mexico),

It can also mean Eastern Daylight Time in the US, because there are many
people who think that it's an abbreviation for ``Eastern.''

Of course, most people don't use the abbreviations at all. I'd much
rather see ``-0400 (US/Eastern)'' than EDT.

---Dan