На extensions.gnome.org нет кнопок

Сначала необходимо нажать на название расширений на этой странице, и кнопка ADD будет отображена на левой стороне дополнительного имени.

Это может иногда происходить (я испытал его). Попытайтесь делать их

• Обновите страницу (иногда требует несколько раз),

• Ожидайте его, чтобы быть просмотренными

• Измените размер окна браузера

• Проверьте использование оболочки гнома (не классический гномом или сессия Единицы или другие)

• Попробуйте другой браузер.

Ожидание и обновление работали на меня.