A configurable web proxy with DNS redirection.