That's clever, innit. Do we need to add a definition for HTML or is that so ubiquitous as to be superfluous?