HTML code block is still rendered as HTML and not raw code

<img width="1116" alt="Image" src="https://github.com/user-attachments/assets/182039e0-7ada-471a-a391-362125d22764" /> I don’t know what the original message was, but very probably a `<video>` tag or something like that. Note that the code block touches the previous paragraph, which might be why we don’t render it as a code block (per the spec, requiring empty lines around a code block IIRC).