Also, gnome-tweaks is able to manage extensions.
In order to make extensions.gnome.org work, you have to have the package chrome-gnome-shell installed.