Editorial: use Realm record's [[Intrinsics]]

source

@@ -3022,8 +3022,7 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
          <dfn>@@toPrimitive</dfn>, and
          <dfn>@@toStringTag</dfn></li>
      <li><dfn data-x-href="https://tc39.github.io/ecma262/#sec-well-known-intrinsic-objects">Well-Known Intrinsic Objects</dfn>, including
-         <dfn data-x-href="https://tc39.github.io/ecma262/#sec-arraybuffer-constructor">%ArrayBuffer%</dfn>,
-         <dfn data-x-href="https://tc39.github.io/ecma262/#sec-properties-of-the-array-prototype-object">%ArrayPrototype%</dfn>, and
+         <dfn data-x-href="https://tc39.github.io/ecma262/#sec-properties-of-the-array-prototype-object">%ArrayPrototype%</dfn> and
          <dfn data-x-href="https://tc39.github.io/ecma262/#sec-object.prototype.valueof">%ObjProto_valueOf%</dfn></li>
 
      <li>The <dfn data-x="js-prod-FunctionBody" data-x-href="https://tc39.github.io/ecma262/#prod-FunctionBody"><i>FunctionBody</i></dfn> production</li>
@@ -8738,8 +8737,8 @@ o.myself = o;</code></pre>
     <p>Otherwise, if <var>serialized</var>.[[Type]] is "Array", then:</p>
 
     <ol>
-     <li><p>Let <var>outputProto</var> be the <span>%ArrayPrototype%</span> intrinsic object in
-     <var>targetRealm</var>.</p></li>
+     <li><p>Let <var>outputProto</var> be
+     <var>targetRealm</var>.[[Intrinsics]].[[<span>%ArrayPrototype%</span>]].</p></li>
 
      <li><p>Set <var>value</var> to ! <span>ArrayCreate</span>(<var>serialized</var>.[[Length]],
      <var>outputProto</var>).</p></li>
@@ -81296,8 +81295,12 @@ State: &lt;OUTPUT NAME=I>1&lt;/OUTPUT> &lt;INPUT VALUE="Increment" TYPE=BUTTON O
    <li><p>Let <var>location</var> be a new <code>Location</code> <span>platform
    object</span>.</p></li>
 
+   <li><p>Let <var>valueOf</var> be <var>location</var>'s <span
+   data-x="concept-relevant-realm">relevant
+   Realm</span>.[[Intrinsics]].[[<span>%ObjProto_valueOf%</span>]].</p></li>
+
    <li><p>Perform ! <var>location</var>.[[DefineOwnProperty]]("<code data-x="">valueOf</code>", {
-   [[Value]]: <span>%ObjProto_valueOf%</span>,
+   [[Value]]: <var>valueOf</var>,
    [[Writable]]: false,
    [[Enumerable]]: false,
    [[Configurable]]: false }).</p></li>