API docs: fix "boards" to "leaderboards" in leaderboard API URLs