News for package coq-hierarchy-builder