Manpages of coq-ide