Instalar y gestionar extensiones de gnome-shell desde su nueva web

Gnome creó una web de extensiones para gnome-shell que me ha dejado realmente asombrado por su simplicidad y eficacia:

https://extensions.gnome.org/

Como usuario de Arch Linux, estaba esperando encontrarme con alguna objeción diciendo que no se podían instalar paquetes deb o rpm o algo por el estilo, pero no fue el caso. La web gestiona las extensiones de manera totalmente independiente del sistema de paquetes que utilicemos. Es tan simple que es cuestión de buscar la extensión deseada y habilitarla. Si no está instalada, aparece un cartelito de confirmación para instalarla y automáticamente se descarga, instala y activa, sin más trámites y sin reinicios.

Una vez instaladas, se pueden habilitar, deshabilitar y desinstalar a piacere desde el menú de extensiones instaladas. Lo que sí vi, es que algunas de las extensiones que ya tenía instaladas anteriormente usando el sistema de paquetes de Arch, no pueden desinstalarse desde la web, lo cual, después de todo, no es tan grave. Es de esperarse que la web sepa gestionar las extensiones que se instalaron a través de la misma y no las demás.

Lo que está claro es que estoy tan satisfecho con la web, que voy a desinstalar las que instalé manualmente y las voy a volver a instalar y a gestionarlas desde la web de ahora en más.