You may also resolve directly at: https://dns.google/resolve?name=keio-devplusplus-2018.bitcoinedge.org&type=A