Can we get the runs to include milliseconds for the single level leaderboards? Just makes it more clear how big each time difference is.