leaderboard points vs wcg file : podc leaderboard vs wcg file