How to remove xenomai-doc from Debian Unstable (Sid)