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@lists.isocpp.org> 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@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/sg16