I don't know, I find:

>AT TIME ZONE 'UTC' converts the data type from timestamptz to timestamp

surprising and a foot gun. Asking for at a timezone stripping the timezone makes no sense to me. Having `AT TIME ZONE 'UTC'` produce a timestamptz at +0:00 seems not insane.