Which is the correct way to comment out something in HTML?