timestamp in pg_dump

I'd like to have pg_dump for 7.1 produce "timestamp with time zone" when
dealing with timestamp type(s). That will prepare us for introducing a
timestamp type without time zones, while allowing reasonable upgrades to
7.2.

Comments? Would a pg_dump guru be willing to take this on? Should be
"easy", since afaik we already map some internal types to external
SQL-standard names...
                    - Thomas