Fascinating read.
The marathon happened today. Kipchoge made it in 2:00:25, breaking the world record by more than 2 minutes (it will not be recognised as such due to in and out pacers and nutrition being available on bike near the runners).
The fact that these guys run at 20 km/h for more than 2 hours blows my mind.