In Google Webmaster Tools -> Diagnostics -> Crawl Stats, there is a chart Time spent downloading a page (in milliseconds).
What is that chart measuring?
Is it the time to fetch the HTML text only, or does it include the time to fetch other files included in the head section of the HTML text, or maybe it's the overall time to load the whole page including embedded widgets and ads?
I can't find any clues in the Google Help.