Estoy intentando instalar extensiones de Gnome Shell desde el complemento de Firefox en Ubuntu 20.04. Seguí todos los pasos descritos poresta guía, pero cuando cambio el botón de instalación a "activado", no sucede nada. La ventana "descargar e instalar" (como en el paso 10 de esta guía) no aparece y cuando vuelvo a cargar la página, el botón vuelve a decir "apagado".
He instalado gnome-shell-extensions
y chrome-gnome-shell
el complemento Shell-Integration Firefox. También he vuelto a iniciar sesión. Las extensiones se activan en el menú Ajustes y Configuración de extensiones. He probado varias extensiones. ¿Alguna idea de qué podría impedir que aparezca la ventana "descargar e instalar"? ¿Podría estar relacionado con el proxy que tengo que usar para conectarme a Internet?