rename VerbatimHTMLElements to HTMLElements