Parece que finalmente encontrei a solução! (Hurra!)
Foi um problema relacionado ao upload e às atualizações do Windows 10, que foram instaladas quando liguei meu novo laptop pela primeira vez. A desativação do adaptador de rede virtual no gerenciador de dispositivos resolveu o problema, conforme mostrado em link . Eu vou olhar qual recurso eu perdi desabilitando este adaptador, mas no momento esta solução parece funcionar.