Added in the import for HTMLElement from the web API so that it imports
with Randori and AS correctly.