Gnome Extension - Media playback controls for Spotify - View it on GitHub