This is a very short draft that adds "names" to LISP identifiers.

Major nit: Why is ASCII used for names rather than UTF-8? Related, no mention of punycode as a UTF8 alternative. If UTF8 was considered and then rejected as not needed, there should probably be a justfication for that decision in the document.

A document which is part of a system "which are intended to replace most use of IP addresses" that limits names to the ASCII character set should not be approved.

Minor nit: "Distinguished Name" has a long history with X.509 certificates and I could not get past my confusion. Is another name possible?  Okay if the answer is no.