Comment by tmtvl

I don't want to install an extension which will break next time there's a new GNOME release just to be able to set my clock to '%A %F %R' format.