Normally I would have marked it in place, but I hadn't come up with a good way to do that inside a <code></code>block.

I realize now I could have done it as a comment on the line of code itself -- which I will now do.