Невозможно установить расширения оболочки GNOME, используя твики GNOME в Ubuntu 18.04

Я только что установил Ubuntu 18.04 LTS и не могу вручную установить расширения оболочки GNOME, загруженные с официального сайта, используя gnome-tweak tool так как опция для установки нового расширения оболочки отсутствует в gnome-tweak-tool(который был там в предыдущих версиях).

Я установил оба gnome-tweak-tool а также gnome-shell-extensions запустив следующие команды,

sudo apt install gnome-tweak-tool
sudo apt install gnome-shell-extensions

Изменилась ли обычная процедура в Ubuntu 18.04 LTS? Если да, может ли кто-нибудь указать новые процедуры, которым необходимо следовать?