A resposta é usar a opção de proxy SOCKS5 conforme este link: link
Alguém sabe se a configuração do Firefox network.proxy.socks_remote_dns se aplicaria a um proxy SOCKS definido por um arquivo .pac ou somente quando inserido manualmente nas opções de rede? Eu pergunto porque eu uso um túnel ssh dinâmico no trabalho e estava tentando automatizar a troca com um arquivo .pac, mas agora estou preocupado que as solicitações de DNS estejam sendo feitas nos servidores de trabalho.