How to remove coq-doc-html from Debian Unstable (Sid)