Во-первых, установка расширений Gnome Shell с веб-сайта Gnome Extensions по умолчанию не поддерживается при установке Ubuntu. Таким образом, вы включаете и делаете это на своем собственный ответственность. Дело не в том, что «система явно недоработана».
Многие расширения Gnome создаются такими же добровольцами, как мы с вами (точнее, теми, кто и так знает java-скриптинг - ;). Интерфейс, для которого разработчики делают расширения, 1) плохо документирован и 2) все еще меняется между версиями. Соответственно, более новая версия, работающая в более новой версии Gnome Shell, может больше не работать в более старой версии.
Лучше всего, вероятно, отключить автоматические обновления расширений. Если расширение не работает, удалите его и попробуйте переустановить, но специально выбрав «Версия оболочки» в раскрывающемся меню.
Наиболее надежный способ работы с расширениями Gnome Shell — установить их предпочтительно из исходных кодов программного обеспечения Ubuntu, т. е. с помощью программного обеспечения Ubuntu или через командную строку (введите sudo apt установить расширение gnome-shell
тогда Вкладка для автозаполнения, чтобы увидеть все доступные пакеты). Эти версии были специально протестированы для вашей текущей версии Ubuntu.