If you mean in this case, that may be, but it's certainly not true in the general case.

Moderation comments have multiple functions. If it were just about this specific case it wouldn't be worth spending so much time on it, but they're also opportunities to explain the principles of this site to readers who might not have encountered those principles yet.

For those who do already know this stuff, it's true that such comments are tedious. I'm sorry about that. If it helps at all, they're even more tedious to write than they are to read.

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...

I know I've been more snarky recently than I'd like have been.

Lockdown in various countries is definitely bringing out the worst in people, some of the time; I obviously include myself this in this.

Can't be easy moderating during a pandemic. Thanks for doing a good job.

Appreciated!