[whatwg/dom] Editorial: revert [hr-time] workaround (#802)

It seems @Exe-Boss is tackling this per https://github.com/tobie/specref/issues/571, but until that lands I'm going to reference [hr-time-2] for a bit to unblock some work.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/issues/802