I guess this is kinda related to modding? By player files I mean the files called something like 3480dfsajh4creornwf97dgfuy9.player in the "players" directory. It's not JSON, it's not XML, it's not really any format I know about.