Jeremy Newman : remove duplicate debian redirects