Rendering issue on the web

[codec-abc]

Hello,

Apologies if this is not the correct place to report bugs.

I was reading the page ``Programming in Cilk" in Firefox and saw a rendering bug. Those lines are rendered as such:

Obviously there is a bit of html that isn't escaped properly when converting the document.