Yes. That's why includes should be handled by the HTTP server (and do
not really belong to HTML). The client should never notice that there
has been something included.
But also: the C-preprocessor is considered a mandatory part of every
C-compiler, so the semantics of 'HTML includes' could (I think:
should) be part of the HTML specs.