Partially revert previous commit

These are headings, and shouldn’t contain the `<code>` tag.