I don't think he'd enjoy that email, so I haven't sent it. He chose not to contact me about this, presumably for a reason.

This, on the other hand, is a public thread where it's relevant to the topic in the parent comments. I haven't asked pg to read this thread, so it's not my problem if he chooses to.