Weird. I read Eugine's "better proxies" comment as an obvious joke, and had to think for at least five seconds to realize what your reply meant. I can't tell for sure if I would have taken it as criticism if it were directed at me, but I can see how it could be unpleasant if I had.

Priors to update: I can't tell if a comment is unpleasantly critical as well as I thought I did.