Is this the place to send Fedora 31 observations?

I've set the regional setting 'Formats' via settings to Denmark(English).  The Denmark(English) setting specifies ISO 8601 time and date format. 

However, the top bar time continues to show a different date format, even after reboot.

I.e. on the US English

Oct 6  22:21:11

should have changed to Denmark(English)

2019-10-06T22:21:11

but it didn't.

People have holy wars over which is the best format .. that is a fine debate, but when a format is specified, one would hope that is the format that is used (independent of the argument over which one should be chosen in the first place).