Почему тема оболочки отключена в инструменте настройки Gnome?

Я сам решил эту проблему, и это было чрезвычайно тривиальное решение:

  1. Открыть Gnome Tweak Tool.
  2. Нажмите на кнопку Extensions пункт меню и переместите User themes ползунок для On.
  3. Закрывать Gnome Tweak Tool и откройте его снова.
  4. Теперь вы должны иметь возможность выбрать Shell theme в Appearance меню.