Shortened HTML comments