> Was this spam to MLton or just to me? In any case, I found it somewhat > ironic. ;) It was to MLton. Hmmm ... Henry, would it be possible to go to a protocol where if one of us sends to MLton, then it is automatically forwarded to the list, whereas if it is from someone else, then you decide whether or not it gets forwarded?