Does anyone have experience with Linux compatibility? Do all media keys work? I am mainly interested in Ubuntu Gnome, but other derivatives would also be of interest.