I get that it’s irritating, I also thing it frankly doesn’t really matter that much, and this space is a precious escape from the shittiness of the outside world.

Ridicule makes this space worse. It normalizes a way of engaging with one another that poisons culture of the place we “live”. It’s is bad for us, collectively, to be dicks over stuff that really doesn’t matter much. Block them and move on.

I also find it grating, but this space is full of eccentrics with weird ideas, and I’d much rather not spend my time in this space angry and trying to reach someone who doesn’t care what I think, over a thing that doesn’t matter, and if we normalize that form of engagement it makes the whole platform worse.

(I’m responding to the broad sentiment I’ve seen across many replies, not just you. Like the guy who said we should go back to shaming people for doing dumb stuff. That sounds like a good way to make this space toxic, unwelcoming and shitty.)