> I know there's a transition to new IP addresses going on for the > python.org machines, but Thomas or Sean probably needs to do something > with the DNS for this. IIUC, it would be sufficient if these addresses get recognized as local. Meanwhile, I have disabled the new interfaces. Regards, Martin