I don’t think you did. You said the name makes no difference, I ask if that’s the case then why change it?

If this comment doesn’t adequately answer your question, please feel free to ask your follow-up questions either here or there:

https://news.ycombinator.com/item?id=49649394

I just don’t want to copy & paste the same answer in multiple places.