Update proxy.pac

[RobertRosca]

Use shExpMatch instead of indexOf, allows for wildcard subdomain domain matches

[takluyver]

Does it make sense to do an indexOf check first, and only use shExpMatch where we want wildcards? I did this figuring that the simpler check was probably faster. I'm guessing that the browser has to run this on every URL, so we want to keep it pretty light.

[RobertRosca]

Yeah it does, but it's pretty fast. There are fancier methods you can use to optimise for speed: https://docs.microsoft.com/en-us/troubleshoot/browsers/optimize-pac-performance

So we could do something like:

if not (dnsDomainIs(host, ".desy.de"))
    return "DIRECT";

Which would skip all of the slower checks before getting to them

[takluyver]

That makes sense, though obviously we'd need to check xfel.eu as well. That Microsoft doc suggests that shExpMatch is faster than dnsDomainIs, but maybe that's specific to Microsoft - this source code I found from Apple suggests that dnsDomainIs is essentially just .endswith(). Either way, being able to return a value for most URLs after just a couple of checks seems like a good idea.

There's one plain IP address in the list, which it looks like @turkot added for OCDM. Is there a domain name for that, or do we have to special case that IP address?