nice! What is the type of this element? Is it an HTMLElement, or something more?