Currently the identifiers in library names can be any identifier. Under this proposal, the identifiers MUST NOT include any of | \ ?* < " : > + [ ] / or control characters after escapes are expanded.
If this proposal fails, its content will be included non-normatively as a SHOULD NOT.
Late voting adjustments caused the WG to reject this proposal.
The WG voted to adopt this proposal.