Timezone discrepancies

Here are a few apparent discrepencies between pg7.0beta3 and the timezone
documentation at 

http://www.postgresql.org/docs/postgres/datetime-appendix.htm#DATETIME-APPENDIX-TITLE
http://www.postgresql.org/docs/postgres/datatype1134.htm

on my system (Linux 2.2.12-20smp #1, i686, running in CDT timezone).

1)  Unrecognized timezones claimed in the docs:

ERROR:  Bad timestamp external representation '1-1-2000 00:00:00 DST'
ERROR:  Bad timestamp external representation '1-1-2000 00:00:00 ZP4'
ERROR:  Bad timestamp external representation '1-1-2000 00:00:00 ZP5'
ERROR:  Bad timestamp external representation '1-1-2000 00:00:00 ZP6'

2)  Timezone parsed without complaint but bogusly converted to local
timezone:

        SAT (South Australian Std Time)

Example:

   create table timezones (result timestamp, note varchar);
   insert into timezones values ('1-1-2000 00:00:00 SAT', 'SAT');
   insert into timezones values ('1-1-2000 00:00:00', 'Local');
   insert into timezones values ('1-1-2000 00:00:00 GMT', 'GMT');
   select * from timezones;
   drop table timezones;

Results:

tzdb=#    select * from timezones;
         result         | note  
------------------------+-------
 2000-01-01 00:00:00-06 | SAT
 2000-01-01 00:00:00-06 | Local
 1999-12-31 18:00:00-06 | GMT
(3 rows)


Regards,
Ed Loehr