How to remove zeroc-ice-manual from Debian Unstable (Sid)