Yes. I don't think human meaningful identifiers are important. We can make do with local pet names, like how Unison works. We hardly even use the globally cons

Yes. I don't think human meaningful identifiers are important. We can make do with local pet names, like how Unison works. We hardly even use the globally consistent names we have. Between humans its always "hey did you check out that website I sent you?" And never "hey did you check out https://foo.bar.biz https://foo.bar.biz" Sharing and endorsement can just be part of the protocol. My reference to the site may as well be in terms of which of my friends think its trustworthy so I'm better enabled to make that determination myself (some of my friends have better taste than others). Knowing that Alice.brownierecipe.2 and Bob.favoritebrownies refer to the same underlying document with an unfriendly global name is not so gnarly of a UX problem that we need to tolerate single points of failure to avoid it.