Hello Guix!

Please find the attached patch to package gnome-themes-extra.

Thank you!

Regards,
RG.