Clarify news entry for --trim

[ajinkya-k]

The news entry for --trim in release 1.12 uses a double negative which is a little confusing. This PR fixes that

EDIT: added description

[Keno]

The change is incorrect. The trim feature works as stated, not as proposed

[ajinkya-k]

@Keno in that case maybe it shoould be rephrased as "only keeps code that is provably reachable from the entry point"?

[LilithHafner]

Removing the double negative is is fine as long as it doesn't change the semantics. Notably "proven" and "provable" are different concepts.

[ajinkya-k]

Removing the double negative is is fine as long as it doesn't change the semantics. Notably "proven" and "provable" are different concepts.

Thanks! I changed the language based on the language used in the trim PR #55047

[LilithHafner]

I think this is now correct but defer to @Keno for a final review.

[adienes]

I will note that the word "statically" was explicitly discouraged here #56460 (comment)

updated context

[ajinkya-k]

I will note that the word "statically" was explicitly discouraged here #56460 (comment)

fixed, thanks!

[ajinkya-k]

@ericphanson Thanks, fixed

[JeffBezanson]

This wording is fine but these are very annoying to backport since the change has to be moved to a separate file.