Date format in GNOME 40 panel clock

[Frank Vanoni]

On Sun, 2021-05-09 at 23:00 +0200, Tom H wrote:
> If you use "gnome-tweaks", you can add "Weekday", "Date", and
> "Seconds" via the "Top Bar" tab.

Yes, I have these options. But I can't find any way to modify the date
format. Instead of "May 10" I want "10 May" or, even better, the ISO
format "2021-05-10". 

> There might be an extension that allows you to format the clock.

Yes, I found several extensions that allows to customize the time and
date format. Unfortunately, only for GNOME 3.x, nothing for GNOME 40.

By the way, I wonder why an extension is needed. Changing the time and
date format should be something straightforward to do. 

:-(