Update highlight.js to v8.3.