Las extensiones de Gnome Shell no se descargan

Las extensiones de Gnome Shell no se descargan

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-extensionsy chrome-gnome-shellel 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?

información relacionada