Dear Nicolas, Do you use Gnome from Guix or Gnome from Debian? All the best, simon