Use version 8.1 of highlight.js