Re: DOMHighResTimeStamps in DOM events, use cases

I've implemented a webkitHRTimeStamp attribute to DOM events in
https://bugs.webkit.org/show_bug.cgi?id=94987 consistent with the
Performance API timestamps which uses the raw timestamp from the received
PlatformEvent. I and a couple of others here have patched this in to do
performance benchmarks of event delivery. Using the platform event
timestamp has been especially advantageous as it's generated when the
kernel receives the event, rather than the timestamp property which gives
the time of the DOM Event object creation.