So I perhaps should have been more clear.
If your plan in choosing a name for your bot is to choose one that won't collide with a human, you are going to run into the fact that humans have a lot of very different names. Hence the link to the 'falsehoods' piece.
The US Census of 1950, for example, has a lot of Descords, Descards, Dicords, Dioscords, and... in PA, a Rosa B Discord, in NYC, a Mr Discord.
In general, all I'm saying is, it is far better if your intention is to allow people to choose their name, to not put any arbitrary restriction in place with the justification that 'it probably won't affect anyone'. If there's one thing people really care about it's their name. And no matter how unlikely you think it is that someone will run into your restriction... you're almost certainly wrong.