After today's exciting tie, I've changed "distinct character"
to "distinct element" in the definition of translation
character set, and I've added U+NNNN NAME designations
to [lex.pptoken], where it talks about whitespace.

And the result is now uploaded to the correct wiki page,
I believe:

https://wiki.edg.com/pub/Wg21telecons2021/SG16/d2314r1.html

Jens