No matter how dumb it is, in general, it is always better to just respond with the answer and not comment on the comment itself.

https://news.ycombinator.com/newsguidelines.html

"Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes."