New version of highlight.js.