Fix https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971040

Hi,

I packaged an upstream contributor's pull request to make the extension work with GNOME 3.38. I tested and can confirm the extension works.

Cheers, Bruno