> You're now arguing that source code doesn't constitute a program.
It doesn't. It is the textual representation of a program. As for what the corresponding program is -- for compilers it's simple of course. For intepreters it's a bit more diverse.
As for whether HTML can be considered a declarative, domain-specific programming language: You might consider it one -- in some restricted sense. In the end the difference between markup language and declarative DSL is whether its use is to annotate documents or describe a computation.
And that's the deciding factor. Your argument isn't right or wrong. It's simply pointless. If you download a HTML document to view in a browser or plain-text, the language is used as markup -- to annotate a text document. But if you write a rendering engine or something akin that does semantic/syntactic analysis -- then you would treat HTML as declarative DSL.