Mirrors seem operational again

It seems like released files are being distributed correctly again.