Problema con la extensión Random Wallpaper

En mi ordenador personal estoy usando PopOS!, una distribución basada en Ubuntu 19.04 y con Gnome Shell 3.32.2. Como todo el mundo sabe, una de las ventajas de Gnome Shell es poder usar extensiones que agregan funcionalidades o personalizan el escritorio, como si de un navegador web se tratase. Y la única extensión que uso es la de Random Wallpaper, que como su nombre indica, cambia el fondo de pantalla cada cierto tiempo.