Editorial: correct userNavigationInvolvement -> userInvolvement

This was missed in #10818.

Author: AtkinsSJ

source

@@ -103348,9 +103348,8 @@ location.href = '#foo';</code></pre>
        <li><p><span>Assert</span>: <var>navigationType</var> is not null.</p></li>
 
        <li><p><span data-x="deactivate a document for a cross-document navigation">Deactivate</span>
-       <var>displayedDocument</var>, given <var>userNavigationInvolvement</var>,
-       <var>targetEntry</var>, <var>navigationType</var>, and
-       <var>afterPotentialUnloads</var>.</p></li>
+       <var>displayedDocument</var>, given <var>userInvolvement</var>, <var>targetEntry</var>,
+       <var>navigationType</var>, and <var>afterPotentialUnloads</var>.</p></li>
       </ol>
      </li>