News for package coq-doc