Get `focus()` to focus the element if it is a HTMLElement

[jasononeil]

At the moment it triggers a focus event, but what we actually want to do (instead, or as well?) is cast to HTMLElement, and trigger the focus() method.