proxy.pac: use port 80
proxy.conf: allow from Red Hat