highlight.js update