Bug#1056948: coq-doc-html loads files from a CDN

[Evgeny Kapun <abacabadabacaba@gmail.com>]

Package: coq-doc-html

Version: 8.17.1-1


The HTML files in the coq-doc-html package contain the following line:

<script async="async" 
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js";></script>

They should use a local library instead.