Be a good web email interface and include the originator's IP address
in the headers. Although this information can be gleaned from the web
server logs, it should not be necessary to have access to the web
server in order to know who sent in a PR.