The HTML spec returns `WindowProxy` for `Document.defaultView`: https://html.spec.whatwg.org/#dom-document-defaultview Should the uses of `Window` in UIEvents IDL also be `WindowProxy` instead? FWIW WebKit has been using `WindowProxy` since 2018: https://bugs.webkit.org/show_bug.cgi?id=185022