@blabberlicious but actually, at least where I am, it seems to be back working again with the default DNS servers