highlight.min.js no longer included