Hey, thanks - I wasn't aware of that. Glad to have learned it.

But you can probably tell that there is no need to be snarky. Just your first sentence would have been more in line with how people engage with each other around here.