Of course, my previous reply intended to be private. This is what
happens when I reply to a forwarded mail and forget to modify the "To:"
line...
Anyway, if I was wrong in my assumption, maybe someone will be
kind enough to correct me (by private mail, if necessary.)
Amir