Ils ne passent pas de 6 à 2 minutes en changeant de format mais en corrigeant une erreur grossière qui n'a pas vraiment de rapport avec le format choisi, elle aurait pu arriver quelque soit le format de sérialisation. Lire un fichier de 10mo en JSON sur une machine moderne prend une poignée de millisecondes, donc stratégiquement ça n'a aucun intérêt de consacrer du temps à optimiser cette partie alors qu'il y a moyen d'avoir bien plus d'impact ailleurs. Surtout si ça complique la vie de tous les développeurs ensuite.

Je sais que tu as une aversion contre les formats texte, aversion très justifiée sur tout un tas d'environnement, mais sur une plateforme qui fait tourner GTA V je pense que ce serait une perte de temps contre-productive.