Comment by jraph

Oh yes, this is "HTML, the programming language", not HTML (also called "HTML, the markup language" in that page).

And it's brilliant :-)