I’ve always remembered it as XHTML lemmings, didn’t know dhtml was a term at all!