Anyone using SteamOS ? Just wondering if it actually makes a difference speedwise, if the kernel or compositor is more appropriate, if there's less tearing...