Clarify HTML's involvement in defining the Fullscreen API.