Al realizar cambios en extensiones o instalar aplicaciones, a veces me parece necesario reiniciar el shell GNOME para que los cambios surtan efecto. En el pasado, presionar Alt + F2, escribir 'r' y presionar enter haría esto. Sin embargo, esto no parece estar disponible en Wayland. Puedo cerrar...