I've been watching some of the higher position leaderboard videos lately, trying to pinpoint various spots in the game that I can improve. While watching Darbian's run, I noticed that his time in the VOD is a 15:18.7 but on the leaderboard it is listed as a 15:06.

Just curious if I've been doing my timing wrong or if there's something I'm missing.