Anyone else having issues connecting to svn.php.net? Tried from my browser, and several different servers, and no connection, it's just timing out