Does this actually work? I forget the exact impact--does it juts give you a different timezone offset on `timestamptz` output? Do we know how it affects `timestamp without time zone`?