News for package gmp-doc