Jeremy Newman : change redirects to https, add debian download redirect