Hey, its easier to actually install these Gnome extensions, if you first enable the Gnome browser integration. Then you can simply click on the on/off toggle on the extension page to install them and turn them on. You can also edit some extensions from the extension page once installed too.