I definitely get what both sides are saying here, but just wanted to clear up my reasoning for this. I know in the grand scheme of things it was a pretty minor thing to correct, but it just didn't seem necessary. I don't think anything was censored, it just wasn't necessary at all and being able to make such a minor tweak to make the site even more inclusive shouldn't be an issue.
The context of this word wasn't someone's name, it was used as a slur. Language changes. I don't think using historical uses for the words you've cited is an excuse to use them against a person in 2018.