Barrapunto

ftp://ftp.rediris.es/ [rediris.es] y ftp://sunsite.rediris.es/ [rediris.es] existen y responden por el mismo puerto (y con los mismos datos). Si mal no recuerdo, no es posible indicar vía FTP el DNS del equipo al que queremos conectarnos: por contra, si estuviéramos hablando de HTTP podría tratarse de algún proxy que hiciera multi-homing (creo que se llama así).

Dado que por FTP no puedo acceder a dos equipos distintos a través de un proxy porque no tengo forma de indicar al mismo a cul quiero conectar, me parece obvio que ftp.rediris.es y sunsite.rediris.es son el mismo equipo. Y el que tu mirrorlist acceda a uno por FTP y a otro por HTTP es puramente anecdótico: de hecho, puedes probar a cambiar el http:/// [http] por ftp:// [ftp] y comprobarás que funciona perfectamente :)