Depois de obter um arquivo .pac funcional e experimentar, descobri que o arquivo foi baixado novamente quando eu matei o navegador da Web e o reabrei novamente. Editar o campo na caixa de diálogo de configuração de rede não causou nenhuma solicitação GET ao arquivo .pac
em meu servidor.