> On Oct 25, 2020, at 9:08 PM, Wietse Venema <[email protected]> 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.
