How to remove rivet-plugins-doc from Debian Unstable (Sid)