[ripe-list] Re: stat.ripe.net broken?