* Ray Bellis: > On 23/01/2020 21:15, Paul Hoffman wrote: > >> Annnnd the problem seems fixed now, at least from the vantage points >> I use (which hit Cloudflare at various places). > > There was a problem with some Cloudflare operated instances Does this mean we have 13th root server operator?