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.