7 years later, Valve’s Proton has been a game-changer for Linux