Leaderboard insights page

Generally here I'd be super interested in sort of any data analysis we can make easier

Trends for how submissions got faster over time, dashboard
Trends of how submissions of top users got faster over time
Which libraries are used the most
Which libraries are used in the top 10
Should be part of each leaderboard page IMHO and is very much vibe codeable