I had to fix this - and fix VLC taking over my media keys if it ever started. I didn't find it too painful, but it's definitely annoying that I had to work this

I had to fix this - and fix VLC taking over my media keys if it ever started. I didn't find it too painful, but it's definitely annoying that I had to work this out myself.