[format.string.std] Replace "Derived Extracted Property" with simply "property"

[cpplearner]

"Derived Extracted Property" refers to the fact that the data for the East_Asian_Width property are extracted into the file DerivedEastAsianWidth.txt. It is not really a terminology.

[jensmaurer]

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

[cor3ntin]

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

[tahonermann]

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.

[jensmaurer]

@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.

[cor3ntin]

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

[tkoeppe]

@cpplearner Could you please have another look?

[cpplearner]

I agree that the mention of "Derived Core Properties" is unneeded. But it's slightly different from the case with East_Asian_Width, which is not a derived property, and it's wrong to describe it as such.

[tahonermann]

@cpplearner, can you elaborate on that concern? Unless I'm missing something, the proposed change simply refers to East_Asian_Width as a "property". That looks fine to me.

@tkoeppe, can you also make the change that @cor3ntin suggested?

[tkoeppe]

@tahonermann Do you mean as a separate, unrelated change?

[tahonermann]

@tahonermann Do you mean as a separate, unrelated change?

@tkoeppe, preferably as part of this change since it is somewhat related.

[tkoeppe]

@tahonermann Ah, OK, but it's not my pull request :-) We'll have to ask @cpplearner.

[cpplearner]

I'm unable to make the change due to network issues, and since this PR has "allow edits by maintainers" checked, maintainers can push to my branch as they wish :)

[cpplearner]

I finally managed to commit the change.

Ping

[jensmaurer]

Works for me.

[cor3ntin]

LGTM

[tahonermann]

Ship it!

[cpplearner]

rebased.

ping @tkoeppe

[jensmaurer]

Let's do that.