Все мы привыкли расширять функционал браузера с помощью дополнений. А разработчики GNOME предлагают нам то же самое делать и с графической оболочкой. Любой пользователь GNOME 3 может зайти на сайт https://extensions.gnome.org/ и установить себе любое понравившееся расширение. Для этого достаточно лишь кликнуть переключать, согласиться с установкой и перезапустить оболочку.

Кроме того, каждый желающий может добавить в базу свое расширение и оно будет опубликовано после проверки. Пост пишу из соображений, что чем больше людей знает о базе расширений, тем быстрее она будет наполняться и развиваться.