I've switched to Linux Mint Debian Edition with XFCE4....works great except my "media keys" don't.