$ ping svn.lyx.org Pinging AUSSIE.lyx.org [62.70.27.115] with 32 bytes of data:
Request timed out.
Request timed out.
Request timed out.
Request timed out.
Ping statistics for 62.70.27.115:
Packets: Sent = 4, Received = 0, Lost = 4 (100% loss),
