If SSI commands appear in the html sent to the browser, then something went wrong at the server. So you're right from the browsers point of view - they are comments. But if he is working with source html, on the server, he could run into that situation.