macOS proxy.pac não está funcionando?

Question

Em Rede- > Avançado- > Proxies- > Configuração automática de proxy Eu o configurei como link , cujo conteúdo é:

function FindProxyForURL(url, host) {
    if ((shExpMatch(host, "*sanger.ac.uk") || host == "helix.wtgc.org") && host != "wwwcache.sanger.ac.uk" && host != "wr_sb10.dnapipelines.sanger.ac.uk") {
        return "PROXY localhost:3128";
    }
    return "DIRECT";
}

Eu então tenho um túnel SSH, configurado no meu ~/.ssh/config assim:

Host ssh.sanger.ac.uk
LocalForward 3128 wwwcache.sanger.ac.uk:3128

Esta configuração funciona perfeitamente, por exemplo. Chrome, se eu usar o plug-in 'Proxy Helper', configurado para usar meu proxy.pac no URL acima.

Mas isso não funciona no Safari. O estranho é que costumava funcionar por vários anos, até meados deste ano. Após a atualização para o macOS 10.14, ele ainda não funciona.

Quaisquer pistas sobre o que há de errado com isso? Como posso depurar?