Generally here I'd be super interested in sort of any data analysis we can make easier * [x] Trends for how submissions got faster over time, dashboard * [x] 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