News for package prover9-manual