There are only two comments with that spelling. It's not a big deal.

A couple of days ago it was Ghandi instead of Gandhi. I understand it's not a big deal. But it's also not a big deal to get the spelling right.

Considering that WoW came out in 2004 and people STILL sometimes call Rogues "rouges"... doubt it.

This is just the comment section of HN, does the spelling really matter as long as the reader gets it?