¿Rinde mejor Red Dead Redemption 2 en Linux que en Windows 10?