LGTM. I'm happy with the compromise we reached with the new name.

The abstract on the landing page is stale and should be regenerated.

"The result of the independently expression is unspecified." -> Should
this be restricted further, as discussed in the earlier email thread?
E.g. something like "The result of the independently expression is
unspecified but should always be the same value (or no values). The
result should not be derived from the given expressions."