I really want to get involve in a community effort to give #Coq better documentation tooling.
I would also really like to work on that!
@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 Ｏ(≧▽≦)Ｏ !