PING archhurd.org (128.199.32.197) 56(84) bytes of data.
64 bytes from ahti.lucaweiss.eu (128.199.32.197): icmp_seq=1 ttl=60 time=7.48 ms
64 bytes from ahti.lucaweiss.eu (128.199.32.197): icmp_seq=2 ttl=60 time=4.69 ms
64 bytes from ahti.lucaweiss.eu (128.199.32.197): icmp_seq=3 ttl=60 time=4.25 ms

--- archhurd.org ping statistics ---
3 packets transmitted, 3 received, 0% packet loss, time 2003ms
rtt min/avg/max/mdev = 4.254/5.476/7.484/1.433 ms