Use latest highlight.js