Brazil mirror gone?

[rafaelwastaken]

Hi all,

I noticed today the Brazil mirror in Sao Paulo (br.mirror.archlinuxarm.org) doesn't appear to be resolving anymore. Does anyone know if this is permanent? I get awful speeds to the US servers (<1MB/s), so it'd be rather unfortunate if so.

On a side note, it looks like the Florida mirror (fl.us.mirror.archlinuxarm.org) is also actually in New Jersey and not Florida based on latency and traceroutes.

Thanks!
Rafael