I put the comment there. I had just archived that discussion, which is still going on elsewhere, and didn't want anyone to think I was hiding something. It was, I admit, done out of an excess of caution, but there have been nasty accusations in that and related discussion in other places, so I just took the most transparent path. -