The mathcomp coqdoc documentation is now at:
https://math-comp.github.io/htmldoc/
Tweak our Makefile accordingly.