bug#35853: gnome-tweaks unable to manage gnome shell extentions

[Jack Hill]

Hello Guix,

Today I noticed that gnome-tweaks in unable to manage gnome shell 
extensions. I have the gnome-shell-extensions package installed in my 
profile, but the extensions tab in tweaks says, "no extensions installed". 
However extensions are installed, and the two extensions I enabled 
previously continue to function.

Unfortunately, I don't know when it stopped working. The last time that I 
know it worked the gnome-tweaks package was called gnome-tweak-tool.

I tried running gnome-tweaks from a terminal, but that didn't show 
anything obvious.

Best,
Jack