Acontece que é o Fiddler que está substituindo minhas configurações. Quando é executado, as configurações de proxy são alteradas para usá-lo na porta 8888. Quando ele pára, as configurações de proxy são retornadas ao normal. Eu devo ter batido isso algumas vezes, deixando as configurações apontando para o proxy inexistente do Fiddler.