How I got Spotify Linux to play nice with Gnome media keys

piotrkrzyzek.com