Pedantry about grammar and spelling is a bit irrelevant, and tends to trivialize things.

"Pedantry" about facts is another thing, because facts matter. And I include getting names right as a fact. For example when people write about Ghandi I tend to point out that the name is Gandhi. Getting it wrong there seems to me a kind of discourtesy, just as it would be to refer to Mandella or Mandala - which I have no doubt is going to happen.