I'm not sure if this has come up before.
A client was just finding difficulties because to_char() doesn't support
formatting the timezone part of a timestamptz numerically (i.e. as
+-hhmm) instead of using a timezone name. Is there any reason for that?
Would it be something worth having?
cheers
andrew