Los usuarios de Gnome sabemos que se puede expandir las funcionalidades de este escritorio mediante extensiones, las cuales se pueden instalar y administrar desde el navegador web.
Anteriormente, éstas extensiones se administraban exclusivamente desde el navegador por defecto del SO, en mi caso...
