I suspect this may be an actual bug. I tested develop (07fafdf1) on both
macOS and Debian. On macOS, changing the timezone is reflected in the
output but not the datestyle. On Debian, changes to timezone and
datestyle are reflected in the output.
On macOS
```sql
SET timezone TO 'Europe/Berlin';
SET datestyle TO 'German';
SELECT now();
-- now
-- ---------------------------------
-- 08.06.2023 02:45:35.214256 CEST
-- (1 row)
-- SELECT set(ARRAY [timestamptz '2000-01-01', '2000-01-02', '2000-01-03']);
-- set
-- --------------------------------------------------------------------------------
-- {"2000-01-01 00:00:00+01", "2000-01-02 00:00:00+01", "2000-01-03
00:00:00+01"}
-- (1 row)
```
On Debian Bookworm
```sql
SET timezone TO 'Europe/Berlin';
SET datestyle TO 'German';
SELECT now();
-- now
-- ---------------------------------
-- 08.06.2023 02:53:11.748104 CEST
-- (1 row)
SELECT set(ARRAY [timestamptz '2000-01-01', '2000-01-02', '2000-01-03']);
-- set
-- -----------------------------------------------------------------------------------
-- {"01.01.2000 00:00:00 CET", "02.01.2000 00:00:00 CET", "03.01.2000
00:00:00 CET"}
-- (1 row)
```
--Bradford