Add TOC for leaderboards.