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