Невозможно изменить заголовок верхней панели панели с помощью расширения Gnome (Ubuntu 22.04.2)

Я пытаюсь изменить заголовок верхней панели следующим образом:

Я установил расширение Gnome «формат даты панели»:

https://extensions.gnome.org/extension/1462/формат панели-даты

Затем:

~$ gnome-extensions enable panel-date-format@keiii.github.com

вернулся без сообщения об ошибке. Затем:

      dconf write /org/gnome/shell/extensions/panel-date-format/format "'%A %-d %B %Y %k:%M (%:z)'"

возвращается без ошибок; но в заголовке верхней панели нет никаких изменений.

      ~$ gnome-shell --version
GNOME Shell 42.5

При открытии dconf-editor он показывает под заголовком:

/org/gnome/shell/extensions/panel-date-format/format

      No schema is available. A schema is what describes the use of a key, and dconf editor cannot find one associated with this key. If the application that was using this key has been uninstalled, or if this key is obsolete, you may want to erase it

Defined by: Dconf backend

Current value: %A %-d %B %Y %k:%M (%:z)

Это было исправлено в соответствии с: https://lukastrumm.com/notes/gnome-settings-schema/

      sudo cp -v /home/user/.local/share/gnome-shell/extensions/panel-date-format@keiii.github.com/schemas/org.gnome.shell.extensions.panel-date-format.gschema.xml /usr/share/glib-2.0/schemas/
sudo glib-compile-schemas /usr/share/glib-2.0/schemas/

и теперь dconf-editor не жалуется на ошибку; но тем не менее, заголовок верхней панели панели не меняется!

Система: Ubuntu 22.04.2; Linux 5.19.0-41-общий #42~22.04.1-Ubuntu