No, we get the sarcasm, we just want it left on Reddit.

Every community has its own quirks. You just encountered one of the more important ones for HN.