How to remove gnome-devel-docs from Debian Unstable (Sid)