Demo leaderboard with an integrated backend org

Fix typo.

derek-thomas changed pull request status to merged

Sign up or log in to comment