HTML spec: links to standard library defs. broken
Due to a redirect on the Coq homepage, the links generated by coqdoc
fail to go to the symbol, because the anchor tag gets stripped during redirection.
Due to a redirect on the Coq homepage, the links generated by coqdoc
fail to go to the symbol, because the anchor tag gets stripped during redirection.