Google Public DNSに切り替えたいけど、
切り替えるには一度接続を切らにゃならん。
いま切るとすぐに繋がるかどうかわからん。