Список всех свойств объекта окна?

Я ищу (динамическое )получение списка HTML-элементов, о которых в настоящее время знает браузер, таких как HTMLPreElement, HTMLSpanElementи т. д. Эти объекты являются глобальными, т.е.

console.log('HTMLPreElement' in window);  //=> true

Поэтому я подумал, что смогу использовать getOwnPropertyNamesвот так:

console.log(Object.getOwnPropertyNames(window));

для получения полного списка глобальных свойств (MDN заявляет, что это возвращает как перечисляемые, так и не -перечисляемые свойства ).

Используя приведенное выше, я получаю массив примерно с 70 именами свойств. Но он не включает такие объекты, как HTMLPreElement-, а только HTMLElement. Я также попробовал :

console.log(Object.getOwnPropertyNames(window.Window.prototype));

, который возвращает больший список (, включая addEventListenerи т. д. ), но снова нет HTMLPreElement.

Итак, где, черт возьми, находятся эти HTML{Tag}Elementобъекты?