I've been pinging 193.0.0.193 for years to check if I'm online. This doesn't work anymore. I can ping6 ns.ripe.net. What happened to RIPE, and can you suggest another host to ping? Pierre