Comment out HTML bb

Hi,
Not sure if I’m seeing it correctly–but in the first code snippet it looks like the text editor turned some of the dash-dashes (--) into em dashes ()? Some text interfaces/text editors do that automatically, and that could definitely break the comment markup.
Happy coding!