News for package coq-reduction-effects