I'm all for the change then. I would actually like to make use of the [Resource Timing API](http://www.w3.org/TR/2011/WD-resource-timing-20110524/) for much more precise measurements in browsers that support it. http://calendar.perfplanet.com/2012/an-introduction-to-the-resource-timing-api/