The highlight.js from https://github.com/highlightjs/highlight.js/releases/tag/9.15.8
See d/copyright also.
