update to highlight.js 8.2