CDN for syntax highlight

Stream: new members

[Asei Inoue]

Can Lean4 syntax highlighting be done via CDN?

[Anne Baanen]

What does CDN mean in this context? Search seems to give only "content delivery network", and I'm not sure how that fits the question.

[Asei Inoue]

For example, in mdbook, is it possible to put a script tag so that js is loaded remotely and syntax highlighting is enabled? I'm asking if there is a way other than placing the highlight.js file directly in the repository.

[Mauricio Collares]

That would be a good option, but if this is ever implemented I hope it is opt-in for privacy reasons.

[Mauricio Collares]

(I use Decentraleyes, so maybe it doesn't matter much in my particular case)