Havent ready it all. But how do you get a short name, what's the tie-breaker if two keys want one short name. I think pubky is very sensibly only tackling one thing at a time. And how is the DNS done? Is it censorship resistant?