How to remove prover9-doc from Debian Unstable (Sid)