Most sarcasm worsens discussion. The comment guidelines say Don't be snarky.[1]

[1] https://news.ycombinator.com/newsguidelines.html

Its not sarcasm. Grok if an awesome alternative view if you accept that you should use your brain to make your own opinion and not just accept wikipedia (which can be wrong) as truth.