I noticed the latter. The former implicitly aliases `html` to `HTML` which points to the WHATWG version, hence my above comment.