@cor3ntin , @tahonermann , any opinions on the above? The rationale sounds plausible.

Unicode says

When referencing a Unicode character property, it is customary to prepend the word “Unicode” to the name of the property, unless it is clear from context that the Unicode Standard
is the source of the specification.

I think the change make sense but maybe we should do something similar for http://eel.is/c++draft/lex.name#1

I agree that the change is reasonable; the context is sufficient for readers to discover details about the property as desired. I also agree with Corentin's suggestion to replace similar wording elsewhere.

@cor3ntin , what do you want to change in http://eel.is/c++draft/lex.name#1 ? The "Derived Core Properties" mention is in an note, explaining XID_Start and XID_Continue. That seems reasonably explanatory to me.

Maybe something like
The properties XID_Start and XID_Continue are described by UAX #44 of the Unicode Standard.

Ie the fact that they are derived is not really adding any information