I just mean they verbatim copied it from another comment they wrote in this thread

But it's quite possible I'm being too anal

I didn't see that other comment and I appreciated the presence of the comment in question.

Whatever else it might be, it’s not positive.