Overrides Gnome's clock format with ISO8601-inspired one. Clock preferences in Date & Time section of Gnome Settings are respected, in a way. "Date" and "Seconds" behave as usual. "Week Day" inserts ISO Week and Weekday between the date and time. E.g. "2023-10-16 W42-1 19:45".
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
I've tested it in Gnome OS, and it appears to work in Gnome 46 without any changes.
ISO8601-ish Clock