How to remove linuxdoc-tools from Debian Unstable (Sid)