Now embeds highlight.js version 8.4