[1718627440]

It's a (computer) language, it is also a formal language. A programming language is a language in which you can write programs, which are descriptions of algorithms. You don't describe algorithms in HTML, hence it is not a programming language.

[pjaoko]

Thats correct. Computer language is the top category. Markup and Programming languages are subcategories.