Como último recurso, desabilitei e habilitei minha rede. Isso resolveu o problema. Parece que o gerenciador de conexões não pode aplicar as configurações de conexão até que a conexão seja reiniciada.
A interface do usuário não indica que as configurações ainda não foram aplicadas. O que é realmente muito pobre.