to_char function has Daylight Savings Bug

to_char(timestamp, 'SSSS') has a Daylight Savings bug.  It includes the
missing 2am hour in it's "seconds from midnight count" for DST begin day
(4/6/2003), and does not include the extra hour for DST end day
(10/26/2003).

both seconds1 and seconds2 below should be 7200.  Note 4/6/2003 is start of
daylight savings for MST7MDT.

select '4/6/2003 3:00:00'::timestamp,
       '4/6/2003 00:00:00'::timestamp,
       to_char('4/6/2003 3:00:00'::timestamp,'SSSS') AS seconds1,
       trunc(extract(epoch from '4/6/2003 3:00:00'::timestamp)-
             extract(epoch from '4/6/2003 00:00:00'::timestamp)) AS
seconds2;

      timestamptz       |      timestamptz       | seconds1 | seconds2
------------------------+------------------------+----------+----------
 2003-04-06 03:00:00-06 | 2003-04-06 00:00:00-07 | 10800    |     7200
(1 row)

Included explicit TZ info, gives the same.

select '4/6/2003 3:00:00 MDT'::timestamp,
       '4/6/2003 00:00:00 MST'::timestamp,
       to_char('4/6/2003 3:00:00 MDT'::timestamp,'SSSS') AS seconds1,
       trunc(extract(epoch from '4/6/2003 3:00:00 MDT'::timestamp)-
             extract(epoch from '4/6/2003 00:00:00 MST'::timestamp)) AS
seconds2;

      timestamptz       |      timestamptz       | seconds1 | seconds2
------------------------+------------------------+----------+----------
 2003-04-06 03:00:00-06 | 2003-04-06 00:00:00-07 | 10800    |     7200
(1 row)

VERSION

% psql -V
psql (PostgreSQL) 7.2.3