Making docstring type hints match reality for get_segment_leaderboard()