hub-docs

docs: use get_dataset_leaderboard in leaderboard guide

#2327

Merged