Editorial: more cleanups from previous PRs (tc39#1722)

 - Add a subscript R: Since _intValue_ is to be treated as a mathematical value, we should be comparing it to a mathematical zero.
 - Reinstate 'sec-static-semantics-elisionwidth' as an oldid; tc39#1124 removed the element-id 'sec-static-semantics-elisionwidth'
 - Reinstate 'sec-synchronizeeventset' as an oldid; tc39#1692 removed the element-id 'sec-synchronizeeventset'.
 - Reference 'ExportFromClause' from Annex A; tc39#1174 introduced the nonterminal 'ExportFromClause', but didn't reference it from Annex A.
 - Put asterisks around 'true' (from tc39#1716)
 - Fix typo "_eventRecords_" -> "_eventsRecord_" (from tc39#1692)

spec.html

@@ -12630,7 +12630,7 @@ <h2>Syntax</h2>
           `...` AssignmentExpression[+In, ?Yield, ?Await]
       </emu-grammar>
 
-      <emu-clause id="sec-runtime-semantics-arrayaccumulation">
+      <emu-clause id="sec-runtime-semantics-arrayaccumulation" oldids="sec-static-semantics-elisionwidth">
         <h1>Runtime Semantics: ArrayAccumulation</h1>
         <p>With parameters _array_ and _nextIndex_.</p>
         <emu-grammar>Elision : `,`</emu-grammar>
@@ -29715,7 +29715,7 @@ <h1>String.prototype.matchAll ( _regexp_ )</h1>
           1. Let _O_ be ? RequireObjectCoercible(*this* value).
           1. If _regexp_ is neither *undefined* nor *null*, then
             1. Let _isRegExp_ be ? IsRegExp(_regexp_).
-            1. If _isRegExp_ is true, then
+            1. If _isRegExp_ is *true*, then
               1. Let _flags_ be ? Get(_regexp_, *"flags"*).
               1. Perform ? RequireObjectCoercible(_flags_).
               1. If ? ToString(_flags_) does not contain *"g"*, throw a *TypeError* exception.
@@ -36522,7 +36522,7 @@ <h1>NumericToRawBytes ( _type_, _value_, _isLittleEndian_ )</h1>
             1. Let _n_ be the Element Size specified in <emu-xref href="#table-49"></emu-xref> for Element Type _type_.
             1. Let _convOp_ be the abstract operation named in the Conversion Operation column in <emu-xref href="#table-49"></emu-xref> for Element Type _type_.
             1. Let _intValue_ be _convOp_(_value_) treated as a mathematical value, whether the result is a BigInt or Number.
-            1. If _intValue_ &ge; 0, then
+            1. If _intValue_ &ge; 0<sub>ℝ</sub>, then
               1. Let _rawBytes_ be a List containing the _n_-byte binary encoding of _intValue_. If _isLittleEndian_ is *false*, the bytes are ordered in big endian order. Otherwise, the bytes are ordered in little endian order.
             1. Else,
               1. Let _rawBytes_ be a List containing the _n_-byte binary 2's complement encoding of _intValue_. If _isLittleEndian_ is *false*, the bytes are ordered in big endian order. Otherwise, the bytes are ordered in little endian order.
@@ -37306,7 +37306,7 @@ <h1>EnterCriticalSection ( _WL_ )</h1>
             1. Let _enterEvent_ be a new Synchronize event.
             1. Append _enterEvent_ to _entererEventList_.
             1. Let _leaveEvent_ be the Synchronize event in _WL_.
-            1. Append (_leaveEvent_, _enterEvent_) to _eventRecords_.[[AgentSynchronizesWith]].
+            1. Append (_leaveEvent_, _enterEvent_) to _eventsRecord_.[[AgentSynchronizesWith]].
         </emu-alg>
         <p>EnterCriticalSection has <dfn>contention</dfn> when an agent attempting to enter the critical section must wait for another agent to leave it. When there is no contention, FIFO order of EnterCriticalSection calls is observable. When there is contention, an implementation may choose an arbitrary order but may not cause an agent to wait indefinitely.</p>
       </emu-clause>
@@ -40724,7 +40724,7 @@ <h1>Candidate Executions</h1>
     <p>An <dfn>empty candidate execution</dfn> is a candidate execution Record whose fields are empty Lists and Relations.</p>
   </emu-clause>
 
-  <emu-clause id="sec-abstract-operations-for-the-memory-model">
+  <emu-clause id="sec-abstract-operations-for-the-memory-model" oldids="sec-synchronizeeventset">
     <h1>Abstract Operations for the Memory Model</h1>
     <emu-clause id="sec-event-set" aoid="EventSet">
       <h1>EventSet ( _execution_ )</h1>
@@ -41397,6 +41397,7 @@ <h1>Scripts and Modules</h1>
     <emu-prodref name=ModuleSpecifier></emu-prodref>
     <emu-prodref name=ImportedBinding></emu-prodref>
     <emu-prodref name=ExportDeclaration></emu-prodref>
+    <emu-prodref name=ExportFromClause></emu-prodref>
     <emu-prodref name=NamedExports></emu-prodref>
     <emu-prodref name=ExportsList></emu-prodref>
     <emu-prodref name=ExportSpecifier></emu-prodref>