Correct the Highlight.js example by using highlight, comment on highlightAuto