Uma coisa que você pode tentar é colocar o host no arquivo ... / etc / hosts (esqueci onde está no Windows). Se isso resolver o problema, talvez você queira envolver alguma ajuda do administrador local. Se não, você pode tentar arquivar um relatório de bug solicitando explicitamente sugestões sobre como você pode rastrear o problema em nome dos desenvolvedores. Na verdade, o último parece ser uma boa coisa para fazer, mesmo que o problema raiz seja um problema de rede local.