@henrywright Our prover @digitalocean are having some DNS issues. You may experience some connection problems during that time.