`documentElement` is never null in "normal" circumstances, but it can be `null`
if something explicitly removes the root element from the document, and this
situation has apparently occurred in the wild on some ChromeOS devices [1].

[1] https://hypothesis.sentry.io/issues/3987992034