timestamptz alias - Mailing list pgsql-hackers

Hi,

I'm happy that the rather verbose "timestamp with time zone" has the
much nicer alias "timestamptz", however it seems that this alias is not
documented, neither at
http://developer.postgresql.org/pgdocs/postgres/datatype-datetime.html
nor at http://www.postgresql.org/docs/8.1/interactive/datatype-datetime.html

I see it mentioned at
http://www.postgresql.org/docs/8.1/interactive/datatype.html but that's
possibly not where people look at first, when they search for the
timestamp type. (At least I found it only when grepping for
"timestamptz" in the docs. :-)

Should the alias be mentioned on the datetime page? The same for timetz?
What do you think?

Thanks,
Markus