Similarly to #2220, we should have dynamic pagination on leaderboard. That we help with server load and competition page loading.
