I wonder if you can by any chance download or export a leaderboard to like an excel or something.
Separate names with a comma.