HTMLDocument

歴史的な理由から、Window オブジェクトは window.HTMLDocument プロパティを持ち、その値は Document インターフェイスです。つまり、HTMLDocument は Document の別名と考えることができ、HTMLDocument のメンバーのドキュメントは Document インターフェイスのドキュメントの下で見つかります。