Generated by coqdoc and improved with CoqdocJS as adapted for coq-community