> 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.
--
Viktor.
