diff --git a/index.html b/index.html
index 0050c99..de84030 100644
--- a/index.html
+++ b/index.html
@@ -1350,7 +1350,7 @@
 });
 
 let sdoMap = JSON.parse(`{"prod-k77_OH1u":{"Evaluation":{"clause":"13.3.10.1","ids":["prod-DuEmEibb","prod-4N8EtSSM"]}},"prod-nQPLRauX":{"Evaluation":{"clause":"13.3.10.1","ids":["prod-OGjeE4Nc"]}},"prod-WzAgO-V_":{"ModuleRequests":{"clause":"16.2.1.3","ids":["prod-Fii3Jv-w"]}},"prod-L0spfeSo":{"ModuleRequests":{"clause":"16.2.1.3","ids":["prod-QB5EyLim"]}},"prod-OoOZVSpA":{"AttributeName":{"clause":"16.2.2.2","ids":["prod-StBELvn0"]}},"prod-CstywuHG":{"AttributeName":{"clause":"16.2.2.2","ids":["prod-eVpymyj4"]}},"prod-xLj2bJln":{"WithClauseToAttributes":{"clause":"16.2.2.3","ids":["prod-1UPpcS0w"]}},"prod-d4roO8vu":{"WithClauseToAttributes":{"clause":"16.2.2.3","ids":["prod-8QmTjvbt"]}},"prod-0HE4RviZ":{"WithClauseToAttributes":{"clause":"16.2.2.3","ids":["prod-_N0cbM5m"]}},"prod-oClSJ6kb":{"WithClauseToAttributes":{"clause":"16.2.2.3","ids":["prod-yNAe-CX-"]}}}`);
-let biblio = JSON.parse(`{"refsByClause":{"intro":["_ref_0"],"sec-evaluate-import-call":["_ref_1","_ref_14","_ref_15","_ref_16","_ref_17"],"sec-cyclic-module-records":["_ref_2","_ref_42","_ref_43","_ref_44","_ref_45","_ref_46","_ref_47"],"sec-source-text-module-records":["_ref_3","_ref_48","_ref_49","_ref_50","_ref_51","_ref_93","_ref_94"],"sec-HostLoadImportedModule":["_ref_4","_ref_52","_ref_53","_ref_54","_ref_55","_ref_56","_ref_57","_ref_58"],"sec-imports":["_ref_5","_ref_95","_ref_96","_ref_97","_ref_98","_ref_99","_ref_100"],"sec-imports-static-semantics-early-errors":["_ref_6","_ref_70","_ref_71","_ref_72","_ref_101","_ref_102","_ref_103"],"sec-with-clause-to-attributes":["_ref_7","_ref_73","_ref_74","_ref_75","_ref_76","_ref_77","_ref_78","_ref_79","_ref_104","_ref_105","_ref_106","_ref_107","_ref_108","_ref_109","_ref_110","_ref_111"],"sec-deprecated-assert-keyword-for-import-attributes":["_ref_8","_ref_9","_ref_10","_ref_80","_ref_81","_ref_82","_ref_83","_ref_84","_ref_112","_ref_113","_ref_114","_ref_115","_ref_116","_ref_117","_ref_118","_ref_119","_ref_120"],"sec-import-call-runtime-semantics-evaluation":["_ref_11","_ref_12","_ref_13"],"sec-modulerequest-record":["_ref_18","_ref_19","_ref_20","_ref_21","_ref_22","_ref_23","_ref_24","_ref_25","_ref_26"],"sec-static-semantics-modulerequests":["_ref_27","_ref_28","_ref_29","_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_89","_ref_90","_ref_91","_ref_92"],"sec-FinishLoadingImportedModule":["_ref_59","_ref_60","_ref_61","_ref_62"],"sec-FinishLoadingImportedModule-AttributesEqual":["_ref_63","_ref_64","_ref_65","_ref_66"],"sec-AllImportAttributesSupported":["_ref_67","_ref_68","_ref_69"],"sec-host-integration":["_ref_85","_ref_86","_ref_87","_ref_88"],"sec-exports":["_ref_121"]},"entries":[{"type":"clause","id":"intro","titleHTML":"Import Attributes","number":""},{"type":"term","term":"Deprecated","refId":"sec-conformance"},{"type":"clause","id":"sec-conformance-deprecated","titleHTML":"Example Deprecated Clause Heading","number":"2.1"},{"type":"clause","id":"sec-conformance","titleHTML":"Conformance","number":"2","referencingIds":["_ref_0"]},{"type":"production","id":"prod-ImportCall","name":"ImportCall"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"13.3.10.1"},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"<ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins>","number":"13.3.10.2","referencingIds":["_ref_11","_ref_12"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_4"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"term","term":"ModuleRequest Record","id":"modulerequest-record","referencingIds":["_ref_16","_ref_18","_ref_21","_ref_23","_ref_24","_ref_26","_ref_27","_ref_31","_ref_32","_ref_35","_ref_37","_ref_39","_ref_41","_ref_46","_ref_50","_ref_51","_ref_53","_ref_60","_ref_86","_ref_87","_ref_88"]},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields"},{"type":"term","term":"ImportAttribute Record","id":"importattribute-record","referencingIds":["_ref_14","_ref_19","_ref_20","_ref_47","_ref_63","_ref_64","_ref_65","_ref_66","_ref_67","_ref_69","_ref_73","_ref_76","_ref_78"]},{"type":"table","id":"table-importattribute-fields","number":2,"caption":"Table 2: ImportAttribute Record fields"},{"type":"clause","id":"sec-modulerequest-record","title":"ModuleRequest and ImportAttribute Records","titleHTML":"<ins>ModuleRequest and ImportAttribute Records</ins>","number":"16.2.1.1"},{"type":"op","aoid":"ModuleRequests","refId":"sec-static-semantics-modulerequests"},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"16.2.1.3","referencingIds":["_ref_22","_ref_28","_ref_29","_ref_30","_ref_34","_ref_38"]},{"type":"term","term":"Cyclic Module Record","id":"cyclic-module-record","referencingIds":["_ref_25","_ref_42","_ref_43","_ref_44","_ref_45","_ref_52","_ref_59","_ref_62"]},{"type":"table","id":"table-cyclic-module-fields","number":3,"caption":"Table 3: Additional Fields of Cyclic Module Records","referencingIds":["_ref_2"]},{"type":"clause","id":"sec-cyclic-module-records","titleHTML":"Cyclic Module Records","number":"16.2.1.5"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_48","_ref_49"]},{"type":"table","id":"table-importentry-record-fields","number":4,"caption":"Table 4: ImportEntry Record Fields","referencingIds":["_ref_3"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.2.1.6"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"16.2.1.8","referencingIds":["_ref_13","_ref_17","_ref_85"]},{"type":"op","aoid":"AttributesEqual","refId":"sec-FinishLoadingImportedModule-AttributesEqual"},{"type":"clause","id":"sec-FinishLoadingImportedModule-AttributesEqual","title":"AttributesEqual ( left, right )","titleHTML":"<ins>AttributesEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.2.1.9.1","referencingIds":["_ref_33","_ref_55","_ref_61"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"16.2.1.9","referencingIds":["_ref_54","_ref_56","_ref_57","_ref_58"]},{"type":"op","aoid":"HostGetSupportedImportAttributes","refId":"sec-hostgetsupportedimportattributes"},{"type":"clause","id":"sec-hostgetsupportedimportattributes","title":"HostGetSupportedImportAttributes ( )","titleHTML":"<ins>HostGetSupportedImportAttributes ( )</ins>","number":"16.2.1.10.1","referencingIds":["_ref_68"]},{"type":"op","aoid":"AllImportAttributesSupported","refId":"sec-AllImportAttributesSupported"},{"type":"clause","id":"sec-AllImportAttributesSupported","title":"AllImportAttributesSupported ( attributes )","titleHTML":"<ins>AllImportAttributesSupported ( <var>attributes</var> )</ins>","number":"16.2.1.10","referencingIds":["_ref_15","_ref_71","_ref_81"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.2.1"},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration"},{"type":"production","id":"prod-WithClause","name":"WithClause","referencingIds":["_ref_89","_ref_90","_ref_91","_ref_92","_ref_95","_ref_96","_ref_102","_ref_103","_ref_121"]},{"type":"production","id":"prod-WithEntries","name":"WithEntries","referencingIds":["_ref_97","_ref_100","_ref_101","_ref_104","_ref_105","_ref_109","_ref_111","_ref_115","_ref_116","_ref_119","_ref_120"]},{"type":"production","id":"prod-AttributeKey","name":"AttributeKey","referencingIds":["_ref_98","_ref_99","_ref_106","_ref_107","_ref_108","_ref_110"]},{"type":"clause","id":"sec-imports-static-semantics-early-errors","titleHTML":"Static Semantics: Early Errors","number":"16.2.2.1","referencingIds":["_ref_9"]},{"type":"op","aoid":"AttributeName","refId":"sec-import-static-semantics-attribute-name"},{"type":"clause","id":"sec-import-static-semantics-attribute-name","title":"Static Semantics: AttributeName","titleHTML":"<ins>Static Semantics: AttributeName</ins>","number":"16.2.2.2","referencingIds":["_ref_75","_ref_77"]},{"type":"op","aoid":"WithClauseToAttributes","refId":"sec-with-clause-to-attributes"},{"type":"clause","id":"sec-with-clause-to-attributes","title":"Static Semantics: WithClauseToAttributes","titleHTML":"<ins>Static Semantics: WithClauseToAttributes</ins>","number":"16.2.2.3","referencingIds":["_ref_10","_ref_36","_ref_40","_ref_70","_ref_72","_ref_74","_ref_79","_ref_80","_ref_82","_ref_83","_ref_84"]},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration","referencingIds":["_ref_93","_ref_94","_ref_112"]},{"type":"production","id":"prod-AssertClause","name":"AssertClause","referencingIds":["_ref_113","_ref_114","_ref_117","_ref_118"]},{"type":"clause","id":"sec-deprecated-assert-keyword-for-import-attributes","title":"Deprecated assert keyword for Import Attributes","titleHTML":"<ins>Deprecated <code>assert</code> keyword for Import Attributes</ins>","number":"16.2.2.4","referencingIds":["_ref_1","_ref_5","_ref_6","_ref_7"]},{"type":"clause","id":"sec-imports","titleHTML":"Imports","number":"16.2.2","referencingIds":["_ref_8"]},{"type":"clause","id":"sec-exports","titleHTML":"Exports","number":"16.2.3"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.2"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
+let biblio = JSON.parse(`{"refsByClause":{"intro":["_ref_0"],"sec-evaluate-import-call":["_ref_1","_ref_2","_ref_17","_ref_18","_ref_19","_ref_20"],"sec-cyclic-module-records":["_ref_3","_ref_45","_ref_46","_ref_47","_ref_48","_ref_49","_ref_50"],"sec-source-text-module-records":["_ref_4","_ref_51","_ref_52","_ref_53","_ref_54","_ref_97","_ref_98"],"sec-HostLoadImportedModule":["_ref_5","_ref_55","_ref_56","_ref_57","_ref_58","_ref_59","_ref_60","_ref_61"],"sec-imports":["_ref_6","_ref_99","_ref_100","_ref_101","_ref_102","_ref_103","_ref_104"],"sec-imports-static-semantics-early-errors":["_ref_7","_ref_73","_ref_74","_ref_75","_ref_105","_ref_106","_ref_107"],"sec-with-clause-to-attributes":["_ref_8","_ref_76","_ref_77","_ref_78","_ref_79","_ref_80","_ref_81","_ref_82","_ref_108","_ref_109","_ref_110","_ref_111","_ref_112","_ref_113","_ref_114","_ref_115"],"sec-deprecated-assert-keyword-for-import-attributes":["_ref_9","_ref_10","_ref_11","_ref_12","_ref_13","_ref_83","_ref_84","_ref_85","_ref_86","_ref_87","_ref_88","_ref_116","_ref_117","_ref_118","_ref_119","_ref_120","_ref_121","_ref_122","_ref_123","_ref_124"],"sec-import-call-runtime-semantics-evaluation":["_ref_14","_ref_15","_ref_16"],"sec-modulerequest-record":["_ref_21","_ref_22","_ref_23","_ref_24","_ref_25","_ref_26","_ref_27","_ref_28","_ref_29"],"sec-static-semantics-modulerequests":["_ref_30","_ref_31","_ref_32","_ref_33","_ref_34","_ref_35","_ref_36","_ref_37","_ref_38","_ref_39","_ref_40","_ref_41","_ref_42","_ref_43","_ref_44","_ref_93","_ref_94","_ref_95","_ref_96"],"sec-FinishLoadingImportedModule":["_ref_62","_ref_63","_ref_64","_ref_65"],"sec-FinishLoadingImportedModule-AttributesEqual":["_ref_66","_ref_67","_ref_68","_ref_69"],"sec-AllImportAttributesSupported":["_ref_70","_ref_71","_ref_72"],"sec-host-integration":["_ref_89","_ref_90","_ref_91","_ref_92"],"sec-exports":["_ref_125"]},"entries":[{"type":"clause","id":"intro","titleHTML":"Import Attributes","number":""},{"type":"term","term":"Deprecated","refId":"sec-conformance"},{"type":"clause","id":"sec-conformance-deprecated","titleHTML":"Example Deprecated Clause Heading","number":"2.1"},{"type":"clause","id":"sec-conformance","titleHTML":"Conformance","number":"2","referencingIds":["_ref_0","_ref_88"]},{"type":"production","id":"prod-ImportCall","name":"ImportCall"},{"type":"clause","id":"sec-import-call-runtime-semantics-evaluation","titleHTML":"Runtime Semantics: Evaluation","number":"13.3.10.1"},{"type":"step","id":"step-evaluate-import-call-assert-fallback","referencingIds":["_ref_1","_ref_9"]},{"type":"op","aoid":"EvaluateImportCall","refId":"sec-evaluate-import-call"},{"type":"clause","id":"sec-evaluate-import-call","title":"EvaluateImportCall ( specifierExpression [ , optionsExpression ] )","titleHTML":"<ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins>","number":"13.3.10.2","referencingIds":["_ref_10","_ref_14","_ref_15"]},{"type":"clause","id":"sec-import-calls","titleHTML":"Import Calls","number":"13.3.10","referencingIds":["_ref_5"]},{"type":"clause","id":"sec-left-hand-side-expressions","titleHTML":"Left-Hand-Side Expressions","number":"13.3"},{"type":"clause","id":"sec-ecmascript-language-expressions","titleHTML":"ECMAScript Language: Expressions","number":"13"},{"type":"term","term":"ModuleRequest Record","id":"modulerequest-record","referencingIds":["_ref_19","_ref_21","_ref_24","_ref_26","_ref_27","_ref_29","_ref_30","_ref_34","_ref_35","_ref_38","_ref_40","_ref_42","_ref_44","_ref_49","_ref_53","_ref_54","_ref_56","_ref_63","_ref_90","_ref_91","_ref_92"]},{"type":"table","id":"table-modulerequest-fields","number":1,"caption":"Table 1: ModuleRequest Record fields"},{"type":"term","term":"ImportAttribute Record","id":"importattribute-record","referencingIds":["_ref_17","_ref_22","_ref_23","_ref_50","_ref_66","_ref_67","_ref_68","_ref_69","_ref_70","_ref_72","_ref_76","_ref_79","_ref_81"]},{"type":"table","id":"table-importattribute-fields","number":2,"caption":"Table 2: ImportAttribute Record fields"},{"type":"clause","id":"sec-modulerequest-record","title":"ModuleRequest and ImportAttribute Records","titleHTML":"<ins>ModuleRequest and ImportAttribute Records</ins>","number":"16.2.1.1"},{"type":"op","aoid":"ModuleRequests","refId":"sec-static-semantics-modulerequests"},{"type":"clause","id":"sec-static-semantics-modulerequests","titleHTML":"Static Semantics: ModuleRequests","number":"16.2.1.3","referencingIds":["_ref_25","_ref_31","_ref_32","_ref_33","_ref_37","_ref_41"]},{"type":"term","term":"Cyclic Module Record","id":"cyclic-module-record","referencingIds":["_ref_28","_ref_45","_ref_46","_ref_47","_ref_48","_ref_55","_ref_62","_ref_65"]},{"type":"table","id":"table-cyclic-module-fields","number":3,"caption":"Table 3: Additional Fields of Cyclic Module Records","referencingIds":["_ref_3"]},{"type":"clause","id":"sec-cyclic-module-records","titleHTML":"Cyclic Module Records","number":"16.2.1.5"},{"type":"term","term":"ImportEntry Record","id":"importentry-record","referencingIds":["_ref_51","_ref_52"]},{"type":"table","id":"table-importentry-record-fields","number":4,"caption":"Table 4: ImportEntry Record Fields","referencingIds":["_ref_4"]},{"type":"clause","id":"sec-source-text-module-records","titleHTML":"Source Text Module Records","number":"16.2.1.6"},{"type":"note","id":"note-HostLoadImportedModule-referrer-Realm-Record","number":1},{"type":"op","aoid":"HostLoadImportedModule","refId":"sec-HostLoadImportedModule"},{"type":"clause","id":"sec-HostLoadImportedModule","title":"HostLoadImportedModule ( referrer, specifier, moduleRequest, hostDefined, payload )","titleHTML":"HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )","number":"16.2.1.8","referencingIds":["_ref_16","_ref_20","_ref_89"]},{"type":"op","aoid":"AttributesEqual","refId":"sec-FinishLoadingImportedModule-AttributesEqual"},{"type":"clause","id":"sec-FinishLoadingImportedModule-AttributesEqual","title":"AttributesEqual ( left, right )","titleHTML":"<ins>AttributesEqual ( <var>left</var>, <var>right</var> )</ins>","number":"16.2.1.9.1","referencingIds":["_ref_36","_ref_58","_ref_64"]},{"type":"op","aoid":"FinishLoadingImportedModule","refId":"sec-FinishLoadingImportedModule"},{"type":"clause","id":"sec-FinishLoadingImportedModule","title":"FinishLoadingImportedModule ( referrer, specifier, moduleRequest, payload, result )","titleHTML":"FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )","number":"16.2.1.9","referencingIds":["_ref_57","_ref_59","_ref_60","_ref_61"]},{"type":"op","aoid":"HostGetSupportedImportAttributes","refId":"sec-hostgetsupportedimportattributes"},{"type":"clause","id":"sec-hostgetsupportedimportattributes","title":"HostGetSupportedImportAttributes ( )","titleHTML":"<ins>HostGetSupportedImportAttributes ( )</ins>","number":"16.2.1.10.1","referencingIds":["_ref_71"]},{"type":"op","aoid":"AllImportAttributesSupported","refId":"sec-AllImportAttributesSupported"},{"type":"clause","id":"sec-AllImportAttributesSupported","title":"AllImportAttributesSupported ( attributes )","titleHTML":"<ins>AllImportAttributesSupported ( <var>attributes</var> )</ins>","number":"16.2.1.10","referencingIds":["_ref_18","_ref_74","_ref_84"]},{"type":"clause","id":"sec-module-semantics","titleHTML":"Module Semantics","number":"16.2.1"},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration"},{"type":"production","id":"prod-WithClause","name":"WithClause","referencingIds":["_ref_93","_ref_94","_ref_95","_ref_96","_ref_99","_ref_100","_ref_106","_ref_107","_ref_125"]},{"type":"production","id":"prod-WithEntries","name":"WithEntries","referencingIds":["_ref_101","_ref_104","_ref_105","_ref_108","_ref_109","_ref_113","_ref_115","_ref_119","_ref_120","_ref_123","_ref_124"]},{"type":"production","id":"prod-AttributeKey","name":"AttributeKey","referencingIds":["_ref_102","_ref_103","_ref_110","_ref_111","_ref_112","_ref_114"]},{"type":"clause","id":"sec-imports-static-semantics-early-errors","titleHTML":"Static Semantics: Early Errors","number":"16.2.2.1","referencingIds":["_ref_12"]},{"type":"op","aoid":"AttributeName","refId":"sec-import-static-semantics-attribute-name"},{"type":"clause","id":"sec-import-static-semantics-attribute-name","title":"Static Semantics: AttributeName","titleHTML":"<ins>Static Semantics: AttributeName</ins>","number":"16.2.2.2","referencingIds":["_ref_78","_ref_80"]},{"type":"op","aoid":"WithClauseToAttributes","refId":"sec-with-clause-to-attributes"},{"type":"clause","id":"sec-with-clause-to-attributes","title":"Static Semantics: WithClauseToAttributes","titleHTML":"<ins>Static Semantics: WithClauseToAttributes</ins>","number":"16.2.2.3","referencingIds":["_ref_13","_ref_39","_ref_43","_ref_73","_ref_75","_ref_77","_ref_82","_ref_83","_ref_85","_ref_86","_ref_87"]},{"type":"production","id":"prod-ImportDeclaration","name":"ImportDeclaration","referencingIds":["_ref_97","_ref_98","_ref_116"]},{"type":"production","id":"prod-AssertClause","name":"AssertClause","referencingIds":["_ref_117","_ref_118","_ref_121","_ref_122"]},{"type":"clause","id":"sec-deprecated-assert-keyword-for-import-attributes","title":"Deprecated assert keyword for Import Attributes","titleHTML":"<ins>Deprecated <code>assert</code> keyword for Import Attributes</ins>","number":"16.2.2.4","referencingIds":["_ref_2","_ref_6","_ref_7","_ref_8"]},{"type":"clause","id":"sec-imports","titleHTML":"Imports","number":"16.2.2","referencingIds":["_ref_11"]},{"type":"clause","id":"sec-exports","titleHTML":"Exports","number":"16.2.3"},{"type":"clause","id":"sec-modules","titleHTML":"Modules","number":"16.2"},{"type":"clause","id":"sec-ecmascript-language-scripts-and-modules","titleHTML":"ECMAScript Language: Scripts and Modules","number":"16"},{"type":"clause","id":"sec-host-integration","titleHTML":"Sample host integration: The Web embedding","number":"A"}]}`);
 ;let usesMultipage = false</script><style>body {
   display: flex;
   word-wrap: break-word;
@@ -2628,14 +2628,31 @@
 <script>
   document.addEventListener("DOMContentLoaded", () => {
     document.querySelectorAll("[deprecated]").forEach(el => {
-      el.setAttribute("legacy", ""); // just to get the styles
-      el.insertAdjacentHTML("afterbegin", `
-        <div class="clause-attributes-tag">
-          <a href="#sec-conformance">Deprecated</a>
-        </div>
-      `);
-    });
-  })
+
+      let tagsContainer = el.querySelector(".clause-attributes-tag");
+      if (!tagsContainer) {
+        tagsContainer = document.createElement("div");
+        tagsContainer.classList.add("clause-attributes-tag");
+        el.insertAdjacentElement("afterbegin", tagsContainer);
+
+        if (el.hasAttribute("normative-optional")) {
+          let tag = document.createElement("a");
+          tag.setAttribute("href", "#sec-conformance");
+          tag.textContent = "Normative Optional";
+          tagsContainer.insertAdjacentElement("afterbegin", tag);
+        }
+      }
+      if (tagsContainer.childElementCount > 0) {
+        tagsContainer.insertAdjacentText("afterbegin", ", ");
+      }
+      let tag = document.createElement("a");
+      tag.setAttribute("href", "#sec-conformance");
+      tag.textContent = "Deprecated";
+      tagsContainer.insertAdjacentElement("afterbegin", tag);
+
+      el.setAttribute("normative-optional", ""); // just to get the style
+  });
+});
 </script>
 <style>
   li[deprecated] {
@@ -2654,7 +2671,7 @@ <h1>Import Attributes</h1>
 <emu-clause id="sec-conformance" number="2">
   <h1><span class="secnum">2</span> Conformance</h1>
 
-  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses have one or more undesirable characteristics. However, their usage in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
+  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses or steps, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses or steps have one or more undesirable characteristics. However, their usage in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
 
   <emu-clause id="sec-conformance-deprecated" example="" deprecated="">
     <h1><span class="secnum">2.1</span> Example Deprecated Clause Heading</h1>
@@ -2704,7 +2721,7 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_11"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(<emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_14"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(<emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
 
         <emu-grammar><ins><emu-production name="ImportCall" collapsed="">
     <emu-nt><a href="#prod-ImportCall">ImportCall</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="7jkmc6eq" id="prod-OGjeE4Nc">
@@ -2718,7 +2735,7 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_12"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(the first <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>, the second <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Return ?&nbsp;<emu-xref aoid="EvaluateImportCall" id="_ref_15"><a href="#sec-evaluate-import-call">EvaluateImportCall</a></emu-xref>(the first <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>, the second <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>).</ins></li></ol></emu-alg>
 
         <emu-grammar><del><emu-production name="ImportCall" collapsed="">
     <emu-nt><a href="#prod-ImportCall">ImportCall</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="jskt5mpw" id="prod-4N8EtSSM">
@@ -2729,13 +2746,15 @@ <h1><span class="secnum">13.3.10.1</span> Runtime Semantics: Evaluation</h1>
     </emu-rhs>
 </emu-production></del>
 </emu-grammar>
-        <emu-alg><ol><li><del>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</del></li><li><del>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</del></li><li><del>Let <var>argRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>.</del></li><li><del>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>argRef</var>).</del></li><li><del>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</del></li><li><del>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</del></li><li><del><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</del></li><li><del>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_13"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>specifierString</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</del></li><li><del>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</del></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</del></li><li><del>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</del></li><li><del>Let <var>argRef</var> be ?&nbsp;<emu-xref aoid="Evaluation"><a href="https://tc39.es/ecma262/#sec-evaluation">Evaluation</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-AssignmentExpression">AssignmentExpression</a></emu-nt>.</del></li><li><del>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>argRef</var>).</del></li><li><del>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</del></li><li><del>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</del></li><li><del><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</del></li><li><del>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_16"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>specifierString</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</del></li><li><del>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</del></li></ol></emu-alg>
       </emu-clause>
 
       <emu-clause id="sec-evaluate-import-call" type="abstract operation" aoid="EvaluateImportCall">
         <h1><span class="secnum">13.3.10.2</span> <ins>EvaluateImportCall ( <var>specifierExpression</var> [ , <var>optionsExpression</var> ] )</ins></h1>
         <p>The abstract operation EvaluateImportCall takes argument <var>specifierExpression</var> (a ParseNode) and optional argument <var>optionsExpression</var> (a ParseNode) and returns either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a Promise or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be the result of evaluating <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be the result of evaluating <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li deprecated="">If the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> supports the <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_1"><a href="#sec-deprecated-assert-keyword-for-import-attributes">deprecated <code>assert</code> keyword for import attributes</a></emu-xref> and <var>attributesObj</var> is <emu-val>undefined</emu-val>, then<ol><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"assert"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li></ol></li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>attributesObj</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>keys</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>keys</var>, <var>promiseCapability</var>).</li><li>For each String <var>key</var> of <var>keys</var>, do<ol><li>Let <var>value</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>attributesObj</var>, <var>key</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>value</var>, <var>promiseCapability</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the <emu-xref href="#importattribute-record" id="_ref_14"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var> } to <var>attributes</var>.</li></ol></li></ol></li><li>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_15"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#modulerequest-record" id="_ref_16"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_17"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>referrer</var> be <emu-xref aoid="GetActiveScriptOrModule"><a href="https://tc39.es/ecma262/#sec-getactivescriptormodule">GetActiveScriptOrModule</a></emu-xref>().</li><li>If <var>referrer</var> is <emu-val>null</emu-val>, set <var>referrer</var> to <emu-xref href="#current-realm"><a href="https://tc39.es/ecma262/#current-realm">the current Realm Record</a></emu-xref>.</li><li>Let <var>specifierRef</var> be the result of evaluating <var>specifierExpression</var>.</li><li>Let <var>specifier</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>specifierRef</var>).</li><li>If <var>optionsExpression</var> is present, then<ol><li>Let <var>optionsRef</var> be the result of evaluating <var>optionsExpression</var>.</li><li>Let <var>options</var> be ?&nbsp;<emu-xref aoid="GetValue"><a href="https://tc39.es/ecma262/#sec-getvalue">GetValue</a></emu-xref>(<var>optionsRef</var>).</li></ol></li><li>Else,<ol><li>Let <var>options</var> be <emu-val>undefined</emu-val>.</li></ol></li><li>Let <var>promiseCapability</var> be !&nbsp;<emu-xref aoid="NewPromiseCapability"><a href="https://tc39.es/ecma262/#sec-newpromisecapability">NewPromiseCapability</a></emu-xref>(<emu-xref href="#sec-promise-constructor"><a href="https://tc39.es/ecma262/#sec-promise-constructor">%Promise%</a></emu-xref>).</li><li>Let <var>specifierString</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="ToString"><a href="https://tc39.es/ecma262/#sec-tostring">ToString</a></emu-xref>(<var>specifier</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>specifierString</var>, <var>promiseCapability</var>).</li><li>Let <var>attributes</var> be a new empty <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref>.</li><li>If <var>options</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>options</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"with"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li><li id="step-evaluate-import-call-assert-fallback" deprecated="" normative-optional="">If <var>attributesObj</var> is <emu-val>undefined</emu-val>, then<ol><li>Let <var>attributesObj</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>options</var>, <emu-val>"assert"</emu-val>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>attributesObj</var>, <var>promiseCapability</var>).</li></ol></li><li>If <var>attributesObj</var> is not <emu-val>undefined</emu-val>, then<ol><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>attributesObj</var>) is not Object, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Let <var>keys</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="EnumerableOwnProperties"><a href="https://tc39.es/ecma262/#sec-enumerableownproperties">EnumerableOwnProperties</a></emu-xref>(<var>attributesObj</var>, <emu-const>key</emu-const>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>keys</var>, <var>promiseCapability</var>).</li><li>For each String <var>key</var> of <var>keys</var>, do<ol><li>Let <var>value</var> be <emu-xref aoid="Completion"><a href="https://tc39.es/ecma262/#sec-completion-ao">Completion</a></emu-xref>(<emu-xref aoid="Get"><a href="https://tc39.es/ecma262/#sec-get-o-p">Get</a></emu-xref>(<var>attributesObj</var>, <var>key</var>)).</li><li><emu-xref aoid="IfAbruptRejectPromise"><a href="https://tc39.es/ecma262/#sec-ifabruptrejectpromise">IfAbruptRejectPromise</a></emu-xref>(<var>value</var>, <var>promiseCapability</var>).</li><li>If <emu-xref aoid="Type"><a href="https://tc39.es/ecma262/#sec-ecmascript-data-types-and-values">Type</a></emu-xref>(<var>value</var>) is not String, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Append the <emu-xref href="#importattribute-record" id="_ref_17"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <var>value</var> } to <var>attributes</var>.</li></ol></li></ol></li><li>If <emu-xref aoid="AllImportAttributesSupported" id="_ref_18"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<var>attributes</var>) is <emu-val>false</emu-val>, then<ol><li>Perform !&nbsp;<emu-xref aoid="Call"><a href="https://tc39.es/ecma262/#sec-call">Call</a></emu-xref>(<var>promiseCapability</var>.<var class="field">[[Reject]]</var>, <emu-val>undefined</emu-val>, « a newly created <emu-val>TypeError</emu-val> object »).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li></ol></li><li>Let <var>moduleRequest</var> be a new <emu-xref href="#modulerequest-record" id="_ref_19"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <var>specifierString</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</li><li>Perform <emu-xref aoid="HostLoadImportedModule" id="_ref_20"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref>(<var>referrer</var>, <var>moduleRequest</var>, <emu-const>empty</emu-const>, <var>promiseCapability</var>).</li><li>Return <var>promiseCapability</var>.<var class="field">[[Promise]]</var>.</li></ol></emu-alg>
+
+        <p>Implementations that implement step <emu-xref href="#step-evaluate-import-call-assert-fallback" id="_ref_1"><a href="#step-evaluate-import-call-assert-fallback">11.d</a></emu-xref> must also implement support for the deprecated <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref> for import attributes in import declarations (<emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_2"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>).</p>
 
         <emu-note><span class="note">Note</span><div class="note-contents">
           Removal of the <code>assert</code> fallback when <var>options</var>'s <code>with</code> property is <emu-val>undefined</emu-val> is being investigated.
@@ -2758,7 +2777,7 @@ <h1><span class="secnum">16.2.1</span> Module Semantics</h1>
         <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute Records</ins></h1>
 
         <p>A <dfn id="modulerequest-record" variants="ModuleRequest Records">ModuleRequest Record</dfn> represents the request to import a module with given import attributes. It consists of the following fields:</p>
-        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#modulerequest-record" id="_ref_18"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
+        <emu-table id="table-modulerequest-fields" caption="ModuleRequest Record fields"><figure><figcaption>Table 1: <emu-xref href="#modulerequest-record" id="_ref_21"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody>
               <tr>
@@ -2788,7 +2807,7 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
                   <var class="field">[[Attributes]]</var>
                 </td>
                 <td>
-                  a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_19"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
+                  a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_22"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>
                 </td>
                 <td>
                   The import attributes
@@ -2799,7 +2818,7 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
         </figure></emu-table>
 
         <p>An <dfn id="importattribute-record" variants="ImportAttribute Records">ImportAttribute Record</dfn> consists of the following fields:</p>
-        <emu-table id="table-importattribute-fields" caption="ImportAttribute Record fields"><figure><figcaption>Table 2: <emu-xref href="#importattribute-record" id="_ref_20"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> fields</figcaption>
+        <emu-table id="table-importattribute-fields" caption="ImportAttribute Record fields"><figure><figcaption>Table 2: <emu-xref href="#importattribute-record" id="_ref_23"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> fields</figcaption>
           <table>
             <tbody>
               <tr>
@@ -2839,12 +2858,12 @@ <h1><span class="secnum">16.2.1.1</span> <ins>ModuleRequest and ImportAttribute
           </table>
         </figure></emu-table>
 
-        <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">In general, this proposal replaces places where module specifiers are passed around with <emu-xref href="#modulerequest-record" id="_ref_21"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>. For example, several <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operations</a></emu-xref>, such as <emu-xref aoid="ModuleRequests" id="_ref_22"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> produce <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_23"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings which are interpreted as module specifiers. Some algorithms like <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> and <emu-xref aoid="ImportEntriesForModule"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentriesformodule">ImportEntriesForModule</a></emu-xref> pass around <emu-xref href="#modulerequest-record" id="_ref_24"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than Strings, in a way which doesn't require any particular textual change. Additionally, record fields in <emu-xref href="#cyclic-module-record" id="_ref_25"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> and <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref> which contained <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings are replaced by <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_26"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>, as indicated above.</div></emu-note>
+        <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">In general, this proposal replaces places where module specifiers are passed around with <emu-xref href="#modulerequest-record" id="_ref_24"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>. For example, several <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operations</a></emu-xref>, such as <emu-xref aoid="ModuleRequests" id="_ref_25"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> produce <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_26"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings which are interpreted as module specifiers. Some algorithms like <emu-xref aoid="ImportEntries"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentries">ImportEntries</a></emu-xref> and <emu-xref aoid="ImportEntriesForModule"><a href="https://tc39.es/ecma262/#sec-static-semantics-importentriesformodule">ImportEntriesForModule</a></emu-xref> pass around <emu-xref href="#modulerequest-record" id="_ref_27"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than Strings, in a way which doesn't require any particular textual change. Additionally, record fields in <emu-xref href="#cyclic-module-record" id="_ref_28"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> and <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref> which contained <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of Strings are replaced by <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Lists</a></emu-xref> of <emu-xref href="#modulerequest-record" id="_ref_29"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref>, as indicated above.</div></emu-note>
       </emu-clause>
 
       <emu-clause id="sec-static-semantics-modulerequests" type="sdo" number="3" aoid="ModuleRequests">
         <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
-        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> ModuleRequests takes no arguments and returns a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_27"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>. It is defined piecewise over the following productions:</p>
+        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> ModuleRequests takes no arguments and returns a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_30"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>. It is defined piecewise over the following productions:</p>
         <emu-grammar><emu-production name="Module" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-Module">Module</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="n7nathbb"><emu-gann>[empty]</emu-gann></emu-rhs>
 </emu-production>
@@ -2854,7 +2873,7 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="ap7dhqxm"><emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt></emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Return <emu-xref aoid="ModuleRequests" id="_ref_28"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Return <emu-xref aoid="ModuleRequests" id="_ref_31"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li></ol></emu-alg>
         <emu-grammar><emu-production name="ModuleItemList" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="dd23jrxs">
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>
@@ -2862,7 +2881,7 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <del><var>moduleNames</var></del><ins><var>requests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_29"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>.</li><li>Let <del><var>additionalNames</var></del><ins><var>additionalRequests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_30"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li><li><del>For each String <var>name</var> of <var>additionalNames</var>, do</del></li><li><ins>For each <emu-xref href="#modulerequest-record" id="_ref_31"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr</var> of <var>additionalRequests</var>, do</ins><ol><li>If <del><var>moduleNames</var></del><ins><var>requests</var></ins> does not contain <del><var>name</var></del> <ins>a <emu-xref href="#modulerequest-record" id="_ref_32"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr2</var> such that <var>mr</var>.<var class="field">[[Specifer]]</var> is <var>mr2</var>.<var class="field">[[Specifer]]</var> and <emu-xref aoid="AttributesEqual" id="_ref_33"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(<var>mr</var>.<var class="field">[[Attributes]]</var>, <var>mr2</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Append <del><var>name</var></del><ins><var>mr</var></ins> to <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></li></ol></li><li>Return <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <del><var>moduleNames</var></del><ins><var>requests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_32"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItemList">ModuleItemList</a></emu-nt>.</li><li>Let <del><var>additionalNames</var></del><ins><var>additionalRequests</var></ins> be <emu-xref aoid="ModuleRequests" id="_ref_33"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt>.</li><li><del>For each String <var>name</var> of <var>additionalNames</var>, do</del></li><li><ins>For each <emu-xref href="#modulerequest-record" id="_ref_34"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr</var> of <var>additionalRequests</var>, do</ins><ol><li>If <del><var>moduleNames</var></del><ins><var>requests</var></ins> does not contain <del><var>name</var></del> <ins>a <emu-xref href="#modulerequest-record" id="_ref_35"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> <var>mr2</var> such that <var>mr</var>.<var class="field">[[Specifer]]</var> is <var>mr2</var>.<var class="field">[[Specifer]]</var> and <emu-xref aoid="AttributesEqual" id="_ref_36"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(<var>mr</var>.<var class="field">[[Attributes]]</var>, <var>mr2</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val></ins>, then<ol><li>Append <del><var>name</var></del><ins><var>mr</var></ins> to <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></li></ol></li><li>Return <del><var>moduleNames</var></del><ins><var>requests</var></ins>.</li></ol></emu-alg>
         <emu-grammar><emu-production name="ModuleItem" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleItem">ModuleItem</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="15hryu6r"><emu-nt><a href="https://tc39.es/ecma262/#prod-StatementListItem">StatementListItem</a></emu-nt></emu-rhs>
 </emu-production>
@@ -2877,18 +2896,18 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_34"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_35"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_37"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_38"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ImportDeclaration" collapsed="">
     <emu-nt><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="ffrp3frd" id="prod-QB5EyLim">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportClause">ImportClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <emu-nt id="_ref_89"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_93"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_36"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_90"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_37"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be the <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_39"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_94"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_40"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><del><emu-production name="ModuleSpecifier" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="xhtltz00"><emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt></emu-rhs>
 </emu-production></del>
@@ -2903,18 +2922,18 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_38"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_39"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><del>Return <emu-xref aoid="ModuleRequests" id="_ref_41"><a href="#sec-static-semantics-modulerequests">ModuleRequests</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</del></li><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_42"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: « » }.</ins></li></ol></emu-alg>
         <emu-grammar><ins><emu-production name="ExportDeclaration" collapsed="">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="-zhwypbp">
         <emu-t>export</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportFromClause">ExportFromClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
-        <emu-nt id="_ref_91"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_95"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
-        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_40"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_92"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_41"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
+        <emu-alg><ol><li><ins>Let <var>specifier</var> be <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>.</ins></li><li><ins>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_43"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_96"><a href="#prod-WithClause">WithClause</a></emu-nt>.</ins></li><li><ins>Return a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> whose sole element is the <emu-xref href="#modulerequest-record" id="_ref_44"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> { <var class="field">[[Specifer]]</var>: <var>specifier</var>, <var class="field">[[Attributes]]</var>: <var>attributes</var> }.</ins></li></ol></emu-alg>
         <emu-grammar><emu-production name="ExportDeclaration">
     <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportDeclaration">ExportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="j2lh_kda">
         <emu-t>export</emu-t>
@@ -2952,9 +2971,9 @@ <h1><span class="secnum">16.2.1.3</span> Static Semantics: ModuleRequests</h1>
 
       <emu-clause id="sec-cyclic-module-records" number="5">
         <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
-        <p>A <dfn id="cyclic-module-record" variants="Cyclic Module Records">Cyclic Module Record</dfn> is used to represent information about a module that can participate in dependency cycles with other modules that are subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_42"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type. <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Records</a></emu-xref> that are not subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_43"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type must not participate in dependency cycles with <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref>.</p>
-        <p>In addition to the fields defined in <emu-xref href="#table-module-record-fields"><a href="https://tc39.es/ecma262/#table-module-record-fields">Table 40</a></emu-xref> <emu-xref href="#cyclic-module-record" id="_ref_44"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> have the additional fields listed in <emu-xref href="#table-cyclic-module-fields" id="_ref_2"><a href="#table-cyclic-module-fields">Table 3</a></emu-xref></p>
-        <emu-table id="table-cyclic-module-fields" caption="Additional Fields of Cyclic Module Records"><figure><figcaption>Table 3: Additional Fields of <emu-xref href="#cyclic-module-record" id="_ref_45"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref></figcaption>
+        <p>A <dfn id="cyclic-module-record" variants="Cyclic Module Records">Cyclic Module Record</dfn> is used to represent information about a module that can participate in dependency cycles with other modules that are subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_45"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type. <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Records</a></emu-xref> that are not subclasses of the <emu-xref href="#cyclic-module-record" id="_ref_46"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> type must not participate in dependency cycles with <emu-xref href="#sourctextmodule-record"><a href="https://tc39.es/ecma262/#sourctextmodule-record">Source Text Module Records</a></emu-xref>.</p>
+        <p>In addition to the fields defined in <emu-xref href="#table-module-record-fields"><a href="https://tc39.es/ecma262/#table-module-record-fields">Table 40</a></emu-xref> <emu-xref href="#cyclic-module-record" id="_ref_47"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref> have the additional fields listed in <emu-xref href="#table-cyclic-module-fields" id="_ref_3"><a href="#table-cyclic-module-fields">Table 3</a></emu-xref></p>
+        <emu-table id="table-cyclic-module-fields" caption="Additional Fields of Cyclic Module Records"><figure><figcaption>Table 3: Additional Fields of <emu-xref href="#cyclic-module-record" id="_ref_48"><a href="#cyclic-module-record">Cyclic Module Records</a></emu-xref></figcaption>
           <table>
             <tbody><tr>
               <th>
@@ -3000,7 +3019,7 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
                 <var class="field">[[RequestedModules]]</var>
               </td>
               <td>
-                a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_46"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>
+                a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <del>Strings</del><ins><emu-xref href="#modulerequest-record" id="_ref_49"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref></ins>
               </td>
               <td>
                 A <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of all the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> strings <ins>and import attributes</ins> used by the module represented by this record to request the importation of a module. The <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> is in source text occurrence order.
@@ -3011,7 +3030,7 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
                 <var class="field">[[LoadedModules]]</var>
               </td>
               <td>
-                a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with fields <var class="field">[[Specifier]]</var> (a String), <ins><var class="field">[[Attributes]]</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_47"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>)</ins> and <var class="field">[[Module]]</var> (a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>)
+                a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with fields <var class="field">[[Specifier]]</var> (a String), <ins><var class="field">[[Attributes]]</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_50"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>)</ins> and <var class="field">[[Module]]</var> (a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>)
               </td>
               <td>
                 A map from the specifier strings used by the module represented by this record to request the importation of a module <ins>with the relative attributes</ins> to the resolved <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref>. The list does not contain two different <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> with the same <del><var class="field">[[Specifier]]</var></del><ins>(<var class="field">[[Specifier]]</var>, <var class="field">[[Attributes]]</var>) pair</ins>.
@@ -3066,8 +3085,8 @@ <h1><span class="secnum">16.2.1.5</span> Cyclic Module Records</h1>
       <emu-clause id="sec-source-text-module-records" number="6">
         <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
 
-        <p>An <dfn id="importentry-record" variants="ImportEntry Records">ImportEntry Record</dfn> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_48"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-importentry-record-fields" id="_ref_3"><a href="#table-importentry-record-fields">Table 4</a></emu-xref>:</p>
-        <emu-table id="table-importentry-record-fields" caption="ImportEntry Record Fields" oldids="table-39"><figure><figcaption>Table 4: <emu-xref href="#importentry-record" id="_ref_49"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption><span id="table-39"></span>
+        <p>An <dfn id="importentry-record" variants="ImportEntry Records">ImportEntry Record</dfn> is a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> that digests information about a single declarative import. Each <emu-xref href="#importentry-record" id="_ref_51"><a href="#importentry-record">ImportEntry Record</a></emu-xref> has the fields defined in <emu-xref href="#table-importentry-record-fields" id="_ref_4"><a href="#table-importentry-record-fields">Table 4</a></emu-xref>:</p>
+        <emu-table id="table-importentry-record-fields" caption="ImportEntry Record Fields" oldids="table-39"><figure><figcaption>Table 4: <emu-xref href="#importentry-record" id="_ref_52"><a href="#importentry-record">ImportEntry Record</a></emu-xref> Fields</figcaption><span id="table-39"></span>
           <table>
             <tbody><tr>
               <th>
@@ -3086,11 +3105,11 @@ <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
               </td>
               <td>
                 <del>String</del>
-                <ins><emu-xref href="#modulerequest-record" id="_ref_50"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
+                <ins><emu-xref href="#modulerequest-record" id="_ref_53"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref></ins>
               </td>
               <td>
-                <del>String value of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> of the <emu-nt id="_ref_93"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</del>
-                <ins><emu-xref href="#modulerequest-record" id="_ref_51"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import attributes of the <emu-nt id="_ref_94"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
+                <del>String value of the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> of the <emu-nt id="_ref_97"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</del>
+                <ins><emu-xref href="#modulerequest-record" id="_ref_54"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> representing the <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt> and import attributes of the <emu-nt id="_ref_98"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt>.</ins>
               </td>
             </tr>
             <tr>
@@ -3113,33 +3132,33 @@ <h1><span class="secnum">16.2.1.6</span> Source Text Module Records</h1>
 
       <emu-clause id="sec-HostLoadImportedModule" type="host-defined abstract operation" number="8" aoid="HostLoadImportedModule">
         <h1><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>hostDefined</var>, <var>payload</var> )</h1>
-        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostLoadImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_52"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_53"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>hostDefined</var> (anything), and <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>) and returns <emu-const>unused</emu-const>.</p>
+        <p>The <emu-xref href="#host-defined"><a href="https://tc39.es/ecma262/#host-defined">host-defined</a></emu-xref> abstract operation HostLoadImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_55"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_56"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>hostDefined</var> (anything), and <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>) and returns <emu-const>unused</emu-const>.</p>
 
         <emu-note id="note-HostLoadImportedModule-referrer-Realm-Record"><span class="note"><a href="#note-HostLoadImportedModule-referrer-Realm-Record">Note 1</a></span><div class="note-contents">
           <p>An example of when <var>referrer</var> can be a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref> is in a web browser <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref>. There, if a user clicks on a control given by</p>
 
           <pre><code class="html hljs"><span class="hljs-tag">&lt;<span class="hljs-name">button</span> <span class="hljs-attr">type</span>=<span class="hljs-string">"button"</span> <span class="hljs-attr">onclick</span>=<span class="hljs-string">"import('./foo.mjs')"</span>&gt;</span>Click me<span class="hljs-tag">&lt;/<span class="hljs-name">button</span>&gt;</span></code></pre>
 
-          <p>there will be no <emu-xref href="#job-activescriptormodule"><a href="https://tc39.es/ecma262/#job-activescriptormodule">active script or module</a></emu-xref> at the time the <emu-xref href="#sec-import-calls" id="_ref_4"><a href="#sec-import-calls"><code>import()</code></a></emu-xref> expression runs. More generally, this can happen in any situation where the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> pushes <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution contexts</a></emu-xref> with <emu-val>null</emu-val> ScriptOrModule components onto the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref>.</p>
+          <p>there will be no <emu-xref href="#job-activescriptormodule"><a href="https://tc39.es/ecma262/#job-activescriptormodule">active script or module</a></emu-xref> at the time the <emu-xref href="#sec-import-calls" id="_ref_5"><a href="#sec-import-calls"><code>import()</code></a></emu-xref> expression runs. More generally, this can happen in any situation where the <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">host</a></emu-xref> pushes <emu-xref href="#sec-execution-contexts"><a href="https://tc39.es/ecma262/#sec-execution-contexts">execution contexts</a></emu-xref> with <emu-val>null</emu-val> ScriptOrModule components onto the <emu-xref href="#execution-context-stack"><a href="https://tc39.es/ecma262/#execution-context-stack">execution context stack</a></emu-xref>.</p>
         </div></emu-note>
 
         <p>An implementation of HostLoadImportedModule must conform to the following requirements:</p>
         <ul>
           <li>
-            The <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environment</a></emu-xref> must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_54"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>), where <var>result</var> is either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> the loaded <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>, either synchronously or asynchronously.
+            The <emu-xref href="#host-environment"><a href="https://tc39.es/ecma262/#host-environment">host environment</a></emu-xref> must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_57"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>), where <var>result</var> is either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> the loaded <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>, either synchronously or asynchronously.
           </li>
           <li>
             <p>If this operation is called multiple times with <del>the same</del><ins>two</ins> (<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>) pair<ins>s</ins> such that:</p>
             <ul>
               <li><ins>the first <var>referrer</var> is the same as the second <var>referrer</var>;</ins></li>
               <li><ins>the first <var>moduleRequest</var>.<var class="field">[[Specifier]]</var> is the same as the second <var>moduleRequest</var>.<var class="field">[[Specifier]]</var>;</ins></li>
-              <li><ins><emu-xref aoid="AttributesEqual" id="_ref_55"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(the first <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>, the second <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val>;</ins></li>
-              <li>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_56"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>,</li>
+              <li><ins><emu-xref aoid="AttributesEqual" id="_ref_58"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(the first <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>, the second <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val>;</ins></li>
+              <li>it performs <emu-xref aoid="FinishLoadingImportedModule" id="_ref_59"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) where <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>,</li>
             </ul>
-            <p>then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_57"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
+            <p>then it must perform <emu-xref aoid="FinishLoadingImportedModule" id="_ref_60"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>(<var>referrer</var>, <del><var>specifier</var></del><ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var>) with the same <var>result</var> each time.</p>
           </li>
           <li>
-            The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_58"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
+            The operation must treat <var>payload</var> as an opaque value to be passed through to <emu-xref aoid="FinishLoadingImportedModule" id="_ref_61"><a href="#sec-FinishLoadingImportedModule">FinishLoadingImportedModule</a></emu-xref>.
           </li>
         </ul>
 
@@ -3158,25 +3177,25 @@ <h1><span class="secnum">16.2.1.8</span> HostLoadImportedModule ( <var>referrer<
 
       <emu-clause id="sec-FinishLoadingImportedModule" type="abstract operation" aoid="FinishLoadingImportedModule">
         <h1><span class="secnum">16.2.1.9</span> FinishLoadingImportedModule ( <var>referrer</var>, <del><var>specifier</var></del>, <ins><var>moduleRequest</var></ins>, <var>payload</var>, <var>result</var> )</h1>
-        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_59"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_60"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
-        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>record</var> such that <var>record</var>.<var class="field">[[Specifier]]</var> is <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifier]]</var> and <emu-xref aoid="AttributesEqual" id="_ref_61"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(<var>record</var>.<var class="field">[[Attributes]]</var>, <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val></ins>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> is <var>result</var>.<var class="field">[[Value]]</var>.</li></ol></li><li>Else, append the <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifer]]</var></ins>, <ins><var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var></ins>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var> } to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport"><a href="https://tc39.es/ecma262/#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
+        <p>The abstract operation FinishLoadingImportedModule takes arguments <var>referrer</var> (a <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, a <emu-xref href="#cyclic-module-record" id="_ref_62"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref>, or a <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>), <del><var>specifier</var> (a String)</del>, <ins><var>moduleRequest</var> (a <emu-xref href="#modulerequest-record" id="_ref_63"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>)</ins>, <var>payload</var> (a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref> or a <emu-xref href="#sec-promisecapability-records"><a href="https://tc39.es/ecma262/#sec-promisecapability-records">PromiseCapability Record</a></emu-xref>), and <var>result</var> (either a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion containing</a></emu-xref> a <emu-xref href="#sec-abstract-module-records"><a href="https://tc39.es/ecma262/#sec-abstract-module-records">Module Record</a></emu-xref> or a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">throw completion</a></emu-xref>) and returns <emu-const>unused</emu-const>. It performs the following steps when called:</p>
+        <emu-alg><ol><li>If <var>result</var> is a <emu-xref href="#sec-completion-record-specification-type"><a href="https://tc39.es/ecma262/#sec-completion-record-specification-type">normal completion</a></emu-xref>, then<ol><li>If <var>referrer</var>.<var class="field">[[LoadedModules]]</var> contains a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> <var>record</var> such that <var>record</var>.<var class="field">[[Specifier]]</var> is <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifier]]</var> and <emu-xref aoid="AttributesEqual" id="_ref_64"><a href="#sec-FinishLoadingImportedModule-AttributesEqual">AttributesEqual</a></emu-xref>(<var>record</var>.<var class="field">[[Attributes]]</var>, <var>moduleRequest</var>.<var class="field">[[Attributes]]</var>) is <emu-val>true</emu-val></ins>, then<ol><li><emu-xref href="#assert"><a href="https://tc39.es/ecma262/#assert">Assert</a></emu-xref>: <var>record</var>.<var class="field">[[Module]]</var> is <var>result</var>.<var class="field">[[Value]]</var>.</li></ol></li><li>Else, append the <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Record</a></emu-xref> { <var class="field">[[Specifier]]</var>: <del><var>specifier</var></del><ins><var>moduleRequest</var>.<var class="field">[[Specifer]]</var></ins>, <ins><var class="field">[[Attributes]]</var>: <var>moduleRequest</var>.<var class="field">[[Attributes]]</var></ins>, <var class="field">[[Module]]</var>: <var>result</var>.<var class="field">[[Value]]</var> } to <var>referrer</var>.<var class="field">[[LoadedModules]]</var>.</li></ol></li><li>If <var>payload</var> is a <emu-xref href="#graphloadingstate-record"><a href="https://tc39.es/ecma262/#graphloadingstate-record">GraphLoadingState Record</a></emu-xref>, then<ol><li>Perform <emu-xref aoid="ContinueModuleLoading"><a href="https://tc39.es/ecma262/#sec-ContinueModuleLoading">ContinueModuleLoading</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Else,<ol><li>Perform <emu-xref aoid="ContinueDynamicImport"><a href="https://tc39.es/ecma262/#sec-ContinueDynamicImport">ContinueDynamicImport</a></emu-xref>(<var>payload</var>, <var>result</var>).</li></ol></li><li>Return <emu-const>unused</emu-const>.</li></ol></emu-alg>
 
         <emu-note type="editor"><span class="note">Editor's Note</span><div class="note-contents">
-          <p>The description of the <var class="field">[[LoadedModules]]</var> field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record" id="_ref_62"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to include the <var class="field">[[Attributes]]</var> field.</p>
+          <p>The description of the <var class="field">[[LoadedModules]]</var> field of <emu-xref href="#realm-record"><a href="https://tc39.es/ecma262/#realm-record">Realm Record</a></emu-xref>, <emu-xref href="#script-record"><a href="https://tc39.es/ecma262/#script-record">Script Record</a></emu-xref>, and <emu-xref href="#cyclic-module-record" id="_ref_65"><a href="#cyclic-module-record">Cyclic Module Record</a></emu-xref> should be updated to include the <var class="field">[[Attributes]]</var> field.</p>
         </div></emu-note>
 
         <emu-clause id="sec-FinishLoadingImportedModule-AttributesEqual" type="abstract operation" aoid="AttributesEqual">
           <h1><span class="secnum">16.2.1.9.1</span> <ins>AttributesEqual ( <var>left</var>, <var>right</var> )</ins></h1>
-          <p>The abstract operation AttributesEqual takes arguments <var>left</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_63"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and <var>right</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_64"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
+          <p>The abstract operation AttributesEqual takes arguments <var>left</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_66"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and <var>right</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_67"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
 
-          <emu-alg><ol><li>If the number of elements in <var>left</var> is not the same as the number of elements in <var>right</var>, return <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_65"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>r</var> of <var>left</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_66"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>s</var> of <var>right</var>, do<ol><li>If <var>r</var>.<var class="field">[[Key]]</var> is <var>s</var>.<var class="field">[[Key]]</var>, then<ol><li>If <var>r</var>.<var class="field">[[Value]]</var> is <var>s</var>.<var class="field">[[Value]]</var>, then<ol><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li><li>Else,<ol><li>Return <emu-val>false</emu-val>.</li></ol></li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+          <emu-alg><ol><li>If the number of elements in <var>left</var> is not the same as the number of elements in <var>right</var>, return <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_68"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>r</var> of <var>left</var>, do<ol><li>Let <var>found</var> be <emu-val>false</emu-val>.</li><li>For each <emu-xref href="#importattribute-record" id="_ref_69"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>s</var> of <var>right</var>, do<ol><li>If <var>r</var>.<var class="field">[[Key]]</var> is <var>s</var>.<var class="field">[[Key]]</var>, then<ol><li>If <var>r</var>.<var class="field">[[Value]]</var> is <var>s</var>.<var class="field">[[Value]]</var>, then<ol><li>Set <var>found</var> to <emu-val>true</emu-val>.</li></ol></li><li>Else,<ol><li>Return <emu-val>false</emu-val>.</li></ol></li></ol></li></ol></li><li>If <var>found</var> is <emu-val>false</emu-val>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
         </emu-clause>
       </emu-clause>
 
       <emu-clause id="sec-AllImportAttributesSupported" type="abstract operation" aoid="AllImportAttributesSupported">
         <h1><span class="secnum">16.2.1.10</span> <ins>AllImportAttributesSupported ( <var>attributes</var> )</ins></h1>
-        <p>The abstract operation AllImportAttributesSupported takes argument <var>attributes</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_67"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
-        <emu-alg><ol><li>Let <var>supported</var> be <emu-xref aoid="HostGetSupportedImportAttributes" id="_ref_68"><a href="#sec-hostgetsupportedimportattributes">HostGetSupportedImportAttributes</a></emu-xref>().</li><li>For each <emu-xref href="#importattribute-record" id="_ref_69"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>attribute</var> of <var>attributes</var>, do<ol><li>If <var>supported</var> does not contain <var>attribute</var>.<var class="field">[[Key]]</var>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
+        <p>The abstract operation AllImportAttributesSupported takes argument <var>attributes</var> (a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_70"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>) and returns a Boolean. It performs the following steps when called:</p>
+        <emu-alg><ol><li>Let <var>supported</var> be <emu-xref aoid="HostGetSupportedImportAttributes" id="_ref_71"><a href="#sec-hostgetsupportedimportattributes">HostGetSupportedImportAttributes</a></emu-xref>().</li><li>For each <emu-xref href="#importattribute-record" id="_ref_72"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> <var>attribute</var> of <var>attributes</var>, do<ol><li>If <var>supported</var> does not contain <var>attribute</var>.<var class="field">[[Key]]</var>, return <emu-val>false</emu-val>.</li></ol></li><li>Return <emu-val>true</emu-val>.</li></ol></emu-alg>
 
         <emu-clause id="sec-hostgetsupportedimportattributes" type="host-defined abstract operation" aoid="HostGetSupportedImportAttributes">
           <h1><span class="secnum">16.2.1.10.1</span> <ins>HostGetSupportedImportAttributes ( )</ins></h1>
@@ -3219,14 +3238,14 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportClause">ImportClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
         <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-nt id="_ref_95"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_99"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs></ins>
     <ins><emu-rhs a="6uisl8nk">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>
         <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-nt id="_ref_96"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_100"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs></ins>
 </emu-production>
@@ -3239,23 +3258,23 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
     <emu-rhs a="o54eack7" id="prod-d4roO8vu">
         <emu-t>with</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_97"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_101"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 <emu-production name="WithEntries" id="prod-WithEntries">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="km78hpv7" id="prod-0HE4RviZ">
-        <emu-nt id="_ref_98"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_102"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
     </emu-rhs>
     <emu-rhs a="eu8tt0zo" id="prod-oClSJ6kb">
-        <emu-nt id="_ref_99"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_103"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
         <emu-t>,</emu-t>
-        <emu-nt id="_ref_100"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_104"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
     </emu-rhs>
 </emu-production>
 <emu-production name="AttributeKey" id="prod-AttributeKey">
@@ -3269,7 +3288,7 @@ <h1><span class="secnum">16.2.2</span> Imports</h1>
 </emu-grammar>
 
       <emu-note><span class="note">Note</span><div class="note-contents">
-        <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_5"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
+        <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_6"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
       </div></emu-note>
 
       <emu-clause id="sec-imports-static-semantics-early-errors">
@@ -3279,19 +3298,19 @@ <h1><span class="secnum">16.2.2.1</span> Static Semantics: Early Errors</h1>
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="o54eack7">
         <emu-t>with</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_101"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_105"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production></ins>
 </emu-grammar>
         <ul>
-          <li><ins>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_70"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_102"><a href="#prod-WithClause">WithClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</ins></li>
-          <li><ins>It is a Syntax Error if <emu-xref aoid="AllImportAttributesSupported" id="_ref_71"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<emu-xref aoid="WithClauseToAttributes" id="_ref_72"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_103"><a href="#prod-WithClause">WithClause</a></emu-nt>) is <emu-val>false</emu-val>.</ins></li>
+          <li><ins>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_73"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_106"><a href="#prod-WithClause">WithClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</ins></li>
+          <li><ins>It is a Syntax Error if <emu-xref aoid="AllImportAttributesSupported" id="_ref_74"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<emu-xref aoid="WithClauseToAttributes" id="_ref_75"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_107"><a href="#prod-WithClause">WithClause</a></emu-nt>) is <emu-val>false</emu-val>.</ins></li>
         </ul>
 
         <emu-note><span class="note">Note</span><div class="note-contents">
-          <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_6"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
+          <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_7"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
         </div></emu-note>
       </emu-clause>
 
@@ -3314,7 +3333,7 @@ <h1><span class="secnum">16.2.2.2</span> <ins>Static Semantics: AttributeName</i
 
       <emu-clause id="sec-with-clause-to-attributes" type="sdo" aoid="WithClauseToAttributes">
         <h1><span class="secnum">16.2.2.3</span> <ins>Static Semantics: WithClauseToAttributes</ins></h1>
-        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> WithClauseToAttributes takes no arguments and returns a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_73"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>. It is defined piecewise over the following productions:</p>
+        <p>The <emu-xref href="#sec-algorithm-conventions-syntax-directed-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-syntax-directed-operations">syntax-directed operation</a></emu-xref> WithClauseToAttributes takes no arguments and returns a <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">List</a></emu-xref> of <emu-xref href="#importattribute-record" id="_ref_76"><a href="#importattribute-record">ImportAttribute Records</a></emu-xref>. It is defined piecewise over the following productions:</p>
 
         <emu-grammar><emu-production name="WithClause" collapsed="">
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="f2ll3iev" id="prod-1UPpcS0w">
@@ -3330,61 +3349,63 @@ <h1><span class="secnum">16.2.2.3</span> <ins>Static Semantics: WithClauseToAttr
     <emu-nt><a href="#prod-WithClause">WithClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="o54eack7" id="prod-8QmTjvbt">
         <emu-t>with</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_104"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_108"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_74"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_105"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_77"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_109"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> according to the lexicographic order of their <var class="field">[[Key]]</var> fields, treating the value of each such field as a sequence of UTF-16 code unit values. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
 
         <emu-grammar><emu-production name="WithEntries" collapsed="">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="km78hpv7" id="prod-_N0cbM5m">
-        <emu-nt id="_ref_106"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_110"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="AttributeName" id="_ref_75"><a href="#sec-import-static-semantics-attribute-name">AttributeName</a></emu-xref> of <emu-nt id="_ref_107"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_76"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return « <var>entry</var> ».</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="AttributeName" id="_ref_78"><a href="#sec-import-static-semantics-attribute-name">AttributeName</a></emu-xref> of <emu-nt id="_ref_111"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_79"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Return « <var>entry</var> ».</li></ol></emu-alg>
 
         <emu-grammar><emu-production name="WithEntries" collapsed="">
     <emu-nt><a href="#prod-WithEntries">WithEntries</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="eu8tt0zo" id="prod-yNAe-CX-">
-        <emu-nt id="_ref_108"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
+        <emu-nt id="_ref_112"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>
         <emu-t>:</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt>
         <emu-t>,</emu-t>
-        <emu-nt id="_ref_109"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_113"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="AttributeName" id="_ref_77"><a href="#sec-import-static-semantics-attribute-name">AttributeName</a></emu-xref> of <emu-nt id="_ref_110"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_78"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_79"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_111"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Return the <emu-xref href="#list-concatenation"><a href="https://tc39.es/ecma262/#list-concatenation">list-concatenation</a></emu-xref> of « <var>entry</var> » and <var>rest</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>key</var> be the <emu-xref aoid="AttributeName" id="_ref_80"><a href="#sec-import-static-semantics-attribute-name">AttributeName</a></emu-xref> of <emu-nt id="_ref_114"><a href="#prod-AttributeKey">AttributeKey</a></emu-nt>.</li><li>Let <var>entry</var> be the <emu-xref href="#importattribute-record" id="_ref_81"><a href="#importattribute-record">ImportAttribute Record</a></emu-xref> { <var class="field">[[Key]]</var>: <var>key</var>, <var class="field">[[Value]]</var>: <emu-xref aoid="SV"><a href="https://tc39.es/ecma262/#sec-static-semantics-sv">SV</a></emu-xref> of <emu-nt><a href="https://tc39.es/ecma262/#prod-StringLiteral">StringLiteral</a></emu-nt> }.</li><li>Let <var>rest</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_82"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_115"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Return the <emu-xref href="#list-concatenation"><a href="https://tc39.es/ecma262/#list-concatenation">list-concatenation</a></emu-xref> of « <var>entry</var> » and <var>rest</var>.</li></ol></emu-alg>
 
         <emu-note><span class="note">Note</span><div class="note-contents">
-          <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_7"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
+          <p><ins>This section is extended by <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes" id="_ref_8"><a href="#sec-deprecated-assert-keyword-for-import-attributes">16.2.2.4</a></emu-xref>.</ins></p>
         </div></emu-note>
       </emu-clause>
 
-      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated="">
+      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated="" normative-optional=""><div class="clause-attributes-tag"><emu-xref href="#sec-conformance" id="_ref_88"><a href="#sec-conformance">Normative Optional</a></emu-xref></div>
         <h1><span class="secnum">16.2.2.4</span> <ins>Deprecated <code>assert</code> keyword for Import Attributes</ins></h1>
 
         <p>Import Attributes are denoted using the <code>with</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref>. However, there are existing implementations based on a previous version of the proposal using the <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref>. Due to potential web compatibility risks, the <code>assert</code> <emu-xref href="#sec-keywords-and-reserved-words"><a href="https://tc39.es/ecma262/#sec-keywords-and-reserved-words">keyword</a></emu-xref> is still included in this specification, but its removal is being investigated.</p>
 
-        <p>The following augments the <emu-nt id="_ref_112"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> production in <emu-xref href="#sec-imports" id="_ref_8"><a href="#sec-imports">16.2.2</a></emu-xref>:</p>
+        <p>Implementations that implement this clause must also implement support for the deprecated <code>assert</code> fallback for import attributes in import calls (step <emu-xref href="#step-evaluate-import-call-assert-fallback" id="_ref_9"><a href="#step-evaluate-import-call-assert-fallback">11.d</a></emu-xref> of <emu-xref href="#sec-evaluate-import-call" id="_ref_10"><a href="#sec-evaluate-import-call">13.3.10.2</a></emu-xref>).</p>
+
+        <p>The following augments the <emu-nt id="_ref_116"><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> production in <emu-xref href="#sec-imports" id="_ref_11"><a href="#sec-imports">16.2.2</a></emu-xref>:</p>
         <emu-grammar type="definition"><emu-production name="ImportDeclaration" id="prod-ImportDeclaration">
     <emu-nt><a href="#prod-ImportDeclaration">ImportDeclaration</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="lrw35o0v">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ImportClause">ImportClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
         <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-nt id="_ref_113"><a href="#prod-AssertClause">AssertClause</a></emu-nt>
+        <emu-nt id="_ref_117"><a href="#prod-AssertClause">AssertClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
     <emu-rhs a="jt0livql">
         <emu-t>import</emu-t>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ModuleSpecifier">ModuleSpecifier</a></emu-nt>
         <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-nt id="_ref_114"><a href="#prod-AssertClause">AssertClause</a></emu-nt>
+        <emu-nt id="_ref_118"><a href="#prod-AssertClause">AssertClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs>
 </emu-production>
@@ -3397,30 +3418,30 @@ <h1><span class="secnum">16.2.2.4</span> <ins>Deprecated <code>assert</code> key
     <emu-rhs a="unaqjbk1">
         <emu-t>assert</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_115"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_119"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
 
-        <p>The <emu-xref href="#sec-static-semantic-rules"><a href="https://tc39.es/ecma262/#sec-static-semantic-rules">static semantics</a></emu-xref> of Early Errors in <emu-xref href="#sec-imports-static-semantics-early-errors" id="_ref_9"><a href="#sec-imports-static-semantics-early-errors">16.2.2.1</a></emu-xref> are augmented with the following:</p>
+        <p>The <emu-xref href="#sec-static-semantic-rules"><a href="https://tc39.es/ecma262/#sec-static-semantic-rules">static semantics</a></emu-xref> of Early Errors in <emu-xref href="#sec-imports-static-semantics-early-errors" id="_ref_12"><a href="#sec-imports-static-semantics-early-errors">16.2.2.1</a></emu-xref> are augmented with the following:</p>
         <emu-grammar><emu-production name="AssertClause" collapsed="">
     <emu-nt><a href="#prod-AssertClause">AssertClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="unaqjbk1">
         <emu-t>assert</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_116"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_120"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
         <ul>
-          <li>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_80"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_117"><a href="#prod-AssertClause">AssertClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</li>
-          <li>It is a Syntax Error if <emu-xref aoid="AllImportAttributesSupported" id="_ref_81"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<emu-xref aoid="WithClauseToAttributes" id="_ref_82"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_118"><a href="#prod-AssertClause">AssertClause</a></emu-nt>) is <emu-val>false</emu-val>.</li>
+          <li>It is a Syntax Error if <emu-xref aoid="WithClauseToAttributes" id="_ref_83"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_121"><a href="#prod-AssertClause">AssertClause</a></emu-nt> has two entries <var>a</var> and <var>b</var> such that <var>a</var>.<var class="field">[[Key]]</var> is <var>b</var>.<var class="field">[[Key]]</var>.</li>
+          <li>It is a Syntax Error if <emu-xref aoid="AllImportAttributesSupported" id="_ref_84"><a href="#sec-AllImportAttributesSupported">AllImportAttributesSupported</a></emu-xref>(<emu-xref aoid="WithClauseToAttributes" id="_ref_85"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_122"><a href="#prod-AssertClause">AssertClause</a></emu-nt>) is <emu-val>false</emu-val>.</li>
         </ul>
 
-        <p>The <emu-xref href="#sec-static-semantic-rules"><a href="https://tc39.es/ecma262/#sec-static-semantic-rules">static semantics</a></emu-xref> of <emu-xref aoid="WithClauseToAttributes" id="_ref_83"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> in <emu-xref href="#sec-with-clause-to-attributes" id="_ref_10"><a href="#sec-with-clause-to-attributes">16.2.2.3</a></emu-xref> are augmented with the following:</p>
+        <p>The <emu-xref href="#sec-static-semantic-rules"><a href="https://tc39.es/ecma262/#sec-static-semantic-rules">static semantics</a></emu-xref> of <emu-xref aoid="WithClauseToAttributes" id="_ref_86"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> in <emu-xref href="#sec-with-clause-to-attributes" id="_ref_13"><a href="#sec-with-clause-to-attributes">16.2.2.3</a></emu-xref> are augmented with the following:</p>
         <emu-grammar><emu-production name="AssertClause" collapsed="">
     <emu-nt><a href="#prod-AssertClause">AssertClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="uul2hn9u">
         <emu-t>assert</emu-t>
@@ -3435,13 +3456,13 @@ <h1><span class="secnum">16.2.2.4</span> <ins>Deprecated <code>assert</code> key
     <emu-nt><a href="#prod-AssertClause">AssertClause</a></emu-nt> <emu-geq>:</emu-geq> <emu-rhs a="unaqjbk1">
         <emu-t>assert</emu-t>
         <emu-t>{</emu-t>
-        <emu-nt id="_ref_119"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
+        <emu-nt id="_ref_123"><a href="#prod-WithEntries">WithEntries</a></emu-nt>
         <emu-t optional="">,<emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-t>
         <emu-t>}</emu-t>
     </emu-rhs>
 </emu-production>
 </emu-grammar>
-        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_84"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_120"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> by the code point order of the <var class="field">[[Key]]</var> of each element. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
+        <emu-alg><ol><li>Let <var>attributes</var> be <emu-xref aoid="WithClauseToAttributes" id="_ref_87"><a href="#sec-with-clause-to-attributes">WithClauseToAttributes</a></emu-xref> of <emu-nt id="_ref_124"><a href="#prod-WithEntries">WithEntries</a></emu-nt>.</li><li>Sort <var>attributes</var> by the code point order of the <var class="field">[[Key]]</var> of each element. NOTE: This sorting is observable only in that <emu-xref href="#host"><a href="https://tc39.es/ecma262/#host">hosts</a></emu-xref> are prohibited from distinguishing among attributes by the order they occur in.</li><li>Return <var>attributes</var>.</li></ol></emu-alg>
       </emu-clause>
     </emu-clause>
 
@@ -3460,7 +3481,7 @@ <h1><span class="secnum">16.2.3</span> Exports</h1>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-ExportFromClause">ExportFromClause</a></emu-nt>
         <emu-nt><a href="https://tc39.es/ecma262/#prod-FromClause">FromClause</a></emu-nt>
         <emu-gann>[no <emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt> here]</emu-gann>
-        <emu-nt id="_ref_121"><a href="#prod-WithClause">WithClause</a></emu-nt>
+        <emu-nt id="_ref_125"><a href="#prod-WithClause">WithClause</a></emu-nt>
         <emu-t>;</emu-t>
     </emu-rhs></ins>
     <emu-rhs a="j2lh_kda">
@@ -3510,8 +3531,8 @@ <h1><span class="secnum">A</span> Sample host integration: The Web embedding</h1
 
   <ul>
     <li>The <a href="https://html.spec.whatwg.org/#module-script">module script</a> would have an additional item, which would be the module type, as a string (e.g., <emu-val>"json"</emu-val>), or <emu-val>undefined</emu-val> for a JavaScript module.</li>
-    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_85"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#modulerequest-record" id="_ref_86"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#modulerequest-record" id="_ref_87"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>'s <var class="field">[[Attributes]]</var> field has an element <var>entry</var> such that <var>entry</var>.<var class="field">[[Key]]</var> is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.<var class="field">[[Value]]</var>; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
-    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over <var class="field">[[RequestedModules]]</var>, the elements are <emu-xref href="#modulerequest-record" id="_ref_88"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of <var class="field">[[RequestedModules]]</var> ignore the attribute.</li>
+    <li><emu-xref aoid="HostLoadImportedModule" id="_ref_89"><a href="#sec-HostLoadImportedModule">HostLoadImportedModule</a></emu-xref> would take a <emu-xref href="#modulerequest-record" id="_ref_90"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref> parameter in place of a specifier string, which would be passed down through several <emu-xref href="#sec-algorithm-conventions-abstract-operations"><a href="https://tc39.es/ecma262/#sec-algorithm-conventions-abstract-operations">abstract operations</a></emu-xref> to reach the <a href="https://html.spec.whatwg.org/#fetch-a-single-module-script">fetch a single module script</a> algorithm. Somewhere near the entrypoint, if the <emu-xref href="#modulerequest-record" id="_ref_91"><a href="#modulerequest-record">ModuleRequest Record</a></emu-xref>'s <var class="field">[[Attributes]]</var> field has an element <var>entry</var> such that <var>entry</var>.<var class="field">[[Key]]</var> is <emu-val>"type"</emu-val>, then let <var>type</var> be <var>entry</var>.<var class="field">[[Value]]</var>; otherwise let <var>type</var> be <emu-val>undefined</emu-val>. If the type is invalid, then an exception is thrown and module loading fails. Otherwise, this will equal the module type, if the module can be successfully fetched with a matching MIME type.</li>
+    <li>In the <a href="https://html.spec.whatwg.org/#fetch-the-descendants-of-a-module-script">fetch the descendents of a module script</a> algorithm, when iterating over <var class="field">[[RequestedModules]]</var>, the elements are <emu-xref href="#modulerequest-record" id="_ref_92"><a href="#modulerequest-record">ModuleRequest Records</a></emu-xref> rather than just specifier strings; these <emu-xref href="#sec-list-and-record-specification-type"><a href="https://tc39.es/ecma262/#sec-list-and-record-specification-type">Records</a></emu-xref> is passed on to the internal module script graph fetching procedure (which sends it to "fetch a single module script". Other usage sites of <var class="field">[[RequestedModules]]</var> ignore the attribute.</li>
     <li>"Fetch a single module script" would check the attribute in two places:
       <ul>
         <li>The module map is keyed with both the absolute URL and the module type, so an existing entry will be found only if its <var>type</var> matches.</li>
diff --git a/spec.emu b/spec.emu
index aee7303..9b957ce 100644
--- a/spec.emu
+++ b/spec.emu
@@ -15,14 +15,31 @@
 <script>
   document.addEventListener("DOMContentLoaded", () => {
     document.querySelectorAll("[deprecated]").forEach(el => {
-      el.setAttribute("legacy", ""); // just to get the styles
-      el.insertAdjacentHTML("afterbegin", `
-        <div class="clause-attributes-tag">
-          <a href="#sec-conformance">Deprecated</a>
-        </div>
-      `);
-    });
-  })
+
+      let tagsContainer = el.querySelector(".clause-attributes-tag");
+      if (!tagsContainer) {
+        tagsContainer = document.createElement("div");
+        tagsContainer.classList.add("clause-attributes-tag");
+        el.insertAdjacentElement("afterbegin", tagsContainer);
+
+        if (el.hasAttribute("normative-optional")) {
+          let tag = document.createElement("a");
+          tag.setAttribute("href", "#sec-conformance");
+          tag.textContent = "Normative Optional";
+          tagsContainer.insertAdjacentElement("afterbegin", tag);
+        }
+      }
+      if (tagsContainer.childElementCount > 0) {
+        tagsContainer.insertAdjacentText("afterbegin", ", ");
+      }
+      let tag = document.createElement("a");
+      tag.setAttribute("href", "#sec-conformance");
+      tag.textContent = "Deprecated";
+      tagsContainer.insertAdjacentElement("afterbegin", tag);
+
+      el.setAttribute("normative-optional", ""); // just to get the style
+  });
+});
 </script>
 <style>
   li[deprecated] {
@@ -41,7 +58,7 @@
 <emu-clause id="sec-conformance" number="2">
   <h1>Conformance</h1>
 
-  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses have one or more undesirable characteristics. However, their usage in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
+  <p><ins>A conforming implementation of ECMAScript should not implement <dfn>Deprecated</dfn> subclauses or steps, unless necessary for compatibility with existing applications that already run in such implementation before the deprecation of the given language feature. All of the language features and behaviours specified within Deprecated subclauses or steps have one or more undesirable characteristics. However, their usage in existing applications currently prevents their removal from this specification. These features are not considered part of the core ECMAScript language. Programmers should not use or assume the existence of these features and behaviours when writing new ECMAScript code.</ins></p>
 
   <emu-clause id="sec-conformance-deprecated" example deprecated>
     <h1>Example Deprecated Clause Heading</h1>
@@ -121,7 +138,7 @@
               1. Return _promiseCapability_.[[Promise]].
             1. Let _attributesObj_ be Completion(Get(_options_, *"with"*)).
             1. IfAbruptRejectPromise(_attributesObj_, _promiseCapability_).
-            1. [deprecated=""] If the host supports the <emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes">deprecated `assert` keyword for import attributes</emu-xref> and _attributesObj_ is *undefined*, then
+            1. [id="step-evaluate-import-call-assert-fallback", deprecated="", normative-optional=""] If _attributesObj_ is *undefined*, then
                 1. Let _attributesObj_ be Completion(Get(_options_, *"assert"*)).
                 1. IfAbruptRejectPromise(_attributesObj_, _promiseCapability_).
             1. If _attributesObj_ is not *undefined*, then
@@ -146,6 +163,8 @@
           1. Return _promiseCapability_.[[Promise]].
         </emu-alg>
 
+        <p>Implementations that implement step <emu-xref href="#step-evaluate-import-call-assert-fallback"></emu-xref> must also implement support for the deprecated `assert` keyword for import attributes in import declarations (<emu-xref href="#sec-deprecated-assert-keyword-for-import-attributes"></emu-xref>).</p>
+
         <emu-note>
           Removal of the `assert` fallback when _options_'s `with` property is *undefined* is being investigated.
         </emu-note>
@@ -771,11 +790,13 @@
         </emu-note>
       </emu-clause>
 
-      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated>
+      <emu-clause id="sec-deprecated-assert-keyword-for-import-attributes" deprecated normative-optional>
         <h1><ins>Deprecated `assert` keyword for Import Attributes</ins></h1>
 
         <p>Import Attributes are denoted using the `with` keyword. However, there are existing implementations based on a previous version of the proposal using the `assert` keyword. Due to potential web compatibility risks, the `assert` keyword is still included in this specification, but its removal is being investigated.</p>
 
+        <p>Implementations that implement this clause must also implement support for the deprecated `assert` fallback for import attributes in import calls (step <emu-xref href="#step-evaluate-import-call-assert-fallback"></emu-xref> of <emu-xref href="#sec-evaluate-import-call"></emu-xref>).</p>
+
         <p>The following augments the |ImportDeclaration| production in <emu-xref href="#sec-imports"></emu-xref>:</p>
         <emu-grammar type="definition">
           ImportDeclaration :