Another compatibility update for the latest GNOME Shell.

What’s New

  • Added support for GNOME Shell 47 (thanks, @josholith)