It’s completely unnecessary. It’s clear what OP meant, the typo doesn’t change anything so pointing it out is simply petty pedantree.

Querying or correcting errors is only worth doing when the error causes uncertainty, such when there’s reason to believe they’ve missed a “not”.

This is the first post I’ve seen where my app (Boost) has shown the vote score as simply: 1k

Congrats guys. Lemmy is growing