Why did you write a JavaScript-style comment at the top of an HTML file?