updated highlight.js
actually, there was a bit more