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.