LGTM

Nitpick:

[ Note: Upper- and lower-case letters are considered different for all
identifiers. – end note ]

Not all characters with case mapping are letters.
I don't know if it matters much if we are going to use better terms in the
future
Overall, I'm not sure that the note clarifies anything?

On Fri, 5 Jun 2020 at 00:15, Steve Downey via SG16 <sg16_at_[hidden]>
wrote:

> Posted as Draft at https://isocpp.org/files/papers/D1949R4.html
> If there are no objections, I will update to P later this evening and post
> to the EWG list.
>
> Diff:
>
> https://github.com/steve-downey/papers/commit/a5a928b12b5664de57d5c0d8a9ca6ba4200d168b
> --
> SG16 mailing list
> SG16_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/sg16
>