Siga o segundo link na sua pergunta. Crie o arquivo como, por exemplo, proxy.pac
. Salve-o no seu disco rígido na raiz do c :.
Nas opções de internet do Internet Explorer - > conexões- > avançado- > script de configuração automática, digite file://c:/proxy.pac
e, em seguida, ok
sua saída.