Para instalarlo, O bien, puedes hacerlo desde la tienda de extensiones de GNOME Shell. Pero, tambin puedes hacerlo desde mi aplicacin preferida para esto que es Extension Manager, que no soto te permite configurar las extensiones, sino que tambin te permite instalarlas de forma sencilla.