Leaderboard update 10/31/2017
We rolled out a small update to Leaderboard this afternoon. Hop below the fold for details.
Display name support! We heard you, and we now show display names instead of usernames on the Leaderboard. Hooray for capitalization!
