On your site I see a Gnome Extension to change the Date and Time settings on the Top Taskbar.
I run Pop OS 21.10 on the Raspberry Pi and want manualy change the Date and Time settings on the top-taskbar.
On your site I used the link for a Gnome Extension, but how to install this?
Bert