I'm sorry about this mail. The person posting this subscribed legitimately to the mailing list to post this mail. I've changed their subscription to discard future posts (although given the semi-infinite number of available gmail addresses, I have no idea how effective it will be. I'll work to remove the mail from the archives the project controls.