Viktor Dukhovni: > > On Oct 25, 2020, at 9:08 PM, Wietse Venema <wie...@porcupine.org> wrote: > > > > What about making the '#' a suffix instead? That is still unlikely > > to clash with existing user naming schemes. BTW I realize that there > > is no unit test for numerical UIDs; that needs to be fixed, too. > > A suffix looks like a good solution to me.
On second consideration, I think I'll go for "uid:".
Wietse
