Состоялся выход GNOME Shell 3.1.91.1, который отличается множеством багфиксов и только одной новой возможностью. Но это действительно интересная возможность: «браузерный плагины, который позволит автоматически устанавливать расширения с extensions.gnome.org».
Это означает, что как только extensions.gnome.org откроется и заработает (сейчас ссылка не работает), вы сможете устанавливать расширения для GNOME Shell с помощью одного клика, как сейчас это происходит с расширениями для Firefox или Chrome.
Добавив этот плагин для extensions.gnome.org, пользователи смогут скачивать расширения для оболочки, и включать, отключать и удалять уже установленные расширения.
Плагин, упомянутый в логе изменений GNOME Shell 3.1.91.1, видимо предназначен для Firefox — судя по опубликованному видео. Но я могу ошибаться. Пока что нет официальной информации о том, какие браузеры будут поддерживать и когда будет доступен extensions.gnome.org.