I think "Digg's HTML" would actually be wrong. HTML is a language, and the secret isn't hidden at the language but at a markup written in such language. Say the

I think "Digg's HTML" would actually be wrong. HTML is a language, and the secret isn't hidden at the language but at a markup written in such language. Say the language is called X. Then we'd say: Digg's X markup. Why would it be different with X=HTML? What I aggre though, is that "HTML markup" is redundant in a sense: something written in HTML is a markup, as HTML is a language for markups. So we'd rather say something more general like "HTML code" or "HTML text", as we don't need to specify markup again. But it isn't very important anyway.