Does anyone know if this is related to them moving php.net to new servers after the earlier malware attack?