Hz
We can see the lap times of all pilots from the “All Race History”. But this is insufficient. In my opinion, we should also be able to see the pilots' average lap times. This will be useful, I'm sure.
For a rolling lap average...
Subtract two laps for every pitstop and one lap for a standing start from the overall race laps. Next, add all times of laps that are not the start lap or in and out laps for pitstops. Finally devide the calculated time by the calculated laps to get your average lap time.
For an overall lap average...
Take the leaders overall time, add the time behind the winner that you were at the end of the race, delete your stationery pitstop times from that. Devide that time by the overall number of laps.