How to remove kdevelop-php-docs from Debian Unstable (Sid)