Shim repository for Highlight.js.