+/* A timezone given as a numeric-only offset will
+ be treated specially if it's in a zone that observes Daylight Saving Time.
+ For instance, during DST, a Date: like "Mon, 24 Jul 2000 12:31:44 -0700" will
+ be printed as "Mon, 24 Jul 2000 12:31:44 PDT". Without the code activated by
+ the following #define, that would be incorrectly printed as "...MST". */