A proxy auto-configuration server.