There is no HTMLEvent type, only HTMLEvents (https://developer.mozilla.org/en-US/docs/Web/API/document.createEvent#Notes