Ticket #339, which would ban the problematic characters | \ ?* < " : > + [ ] / and control characters in library names, failed 4-4. Cowan believes that the language of the ballot, "If this proposal fails, its content will be included non-normatively", should be executed without further votes. Shinn disagrees, so there must be another vote. Cowan's proposed language (which has been removed from draft 7) is:
It is inadvisable, but not an error, for identifiers in library names to contain any of the characters {\cf | \backwhack{} ? * < " : > + [ ] /} or control characters after escapes are expanded.Treating as editorial.