Respect hidden_from_leaderboard in API
Currently the API will leak name of players who asked to be redacted. This commit hides them from the API as well by introducing a new player field that serializes their name correctly.
Currently the API will leak name of players who asked to be redacted. This commit hides them from the API as well by introducing a new player field that serializes their name correctly.