highlight.js updates