В инструменте настройки gnome я не могу найти вкладку «Extension».
PS: В браузере сказано: «Несмотря на то, что расширение интеграции GNOME Shell запущено, собственный соединитель хоста не обнаружен. Обратитесь к документации по инструкциям по установке соединителя».
Система: Ubuntu 16.04 LTS
TIA