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