4 ms·the name isn't the difficult part, so changing it will not make it easier for people to grok.by avoidwork 12y agothe name isn't the difficult part, so changing it will not make it easier for people to grok.