How to remove rivet-user-manual from Debian Unstable (Sid)