[alex1138]

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

[dan_gee]

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