coqdoc is packaged as part of Coq, so projects stuck on older versions don't benefit from bugfixes and new features. That's sad. I've been wanting to split it off but actually the whole thing should be redesigned from scratch so it doesn't seem worth it to break things only to break them again shortly after.
 A related discussion https://coq.discourse.group/t/would-coq-benefit-from-docstrings/849/3 and an idea floating around is to build something on top of OCaml's odoc.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!