I think it might be better this way, using people’s names. basically because names are fairly meaningless but easier to remember than a uuid. Otherwise we’d con

I think it might be better this way, using people’s names. basically because names are fairly meaningless but easier to remember than a uuid. Otherwise we’d constantly be feeling that things were misnamed. E.g. something might have been the best edit distance algorithm twenty years ago, but there’s been a better one for 19 years but it has to have a convoluted name due to primacy of the first name.