Using back-ticks in headings doesn't produce great results with the HTML template. It's probably better if we remove them.
