I really want to get involve in a community effort to give #Coq better documentation tooling.
I'm pretty sure all it takes is just starting something, but as always people are busy.
@lyxia well to be honest i don’t know where to start. ):
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !