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.

Desaparece el relog de la barra en LinuxMint Xfce

 Estoy utilizando un ordenador algo antiguo en el trabajo y claro, necesitaba una distribución que fuese fácil y bonita. No me quiero complicar la vida con una instalación larga ni perder tiempo en personalizar el escritorio, así que me decanté por Linux Mint en su versión de Xfce. Y la verdad es que consigue las dos cosas sin complicaciones.
 El defecto que le encontré recién instalada es que al cambiar las propiedades del reloj de la barra este desaparecía.