Initial implementation of <code> for the HTML editor.
Replace my home-brew solution with the code already found in upstream.
Don't wrap the code block in pre; we will do it ourselves when rendering.
Fix toggling of the code block.