Re: [dev-context] syst-aux.mkiv: \checkedstrippedcsname