Acabo de instalar Ubuntu 16.04 y el shell Gnome 3.18.5. Soy nuevo en todo lo relacionado con la 'extensión Gnome Shell' (¿uso mi navegador para instalar extensiones hechas por el usuario?). Entonces, la primera vez que accedí a https://extensions.gnome.org pude instalar una extensión , creo, pero...