Update of ED report from new reffy run

Using reffy commit 20.0.1.

Author: reffy-bot

ed/algorithms/webidl.json

@@ -375,7 +375,7 @@
           "html": "<p>If one type is a <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-union-type\" id=\"ref-for-dfn-union-type⑨\">union type</a> or nullable union type,\nreturn <i>true</i> if each\n<a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-union-member-type\" id=\"ref-for-dfn-union-member-type①\">member type</a> of the union type is distinguishable\nwith the non-union type,\nor <i>false</i> otherwise.</p>"
         },
         {
-          "html": "<p>Consider the two \"innermost\" types derived by taking each type’s <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#annotated-types-inner-type\" id=\"ref-for-annotated-types-inner-type①\">inner type</a>\nif it is an <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#annotated-types\" id=\"ref-for-annotated-types①\">annotated type</a>, and then taking its <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-inner-type\" id=\"ref-for-dfn-inner-type④\">inner type</a> inner type\nif the result is a <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-nullable-type\" id=\"ref-for-dfn-nullable-type⑧\">nullable type</a>. If these two innermost types appear or are in categories\nappearing in the following table and there is a “●” mark in the corresponding entry\nor there is a letter in the corresponding entry and the designated additional\nrequirement below the table is satisfied, then return <i>true</i>.\nOtherwise return <i>false</i>.</p>\n     <p>Categories:</p>\n     <dl>\n      <dt>interface-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-interface\" id=\"ref-for-idl-interface①\">interface types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-buffer-source-type\" id=\"ref-for-dfn-buffer-source-type\">buffer source types</a></p>\n       </li></ul>\n      </dd><dt>dictionary-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-dictionary\" id=\"ref-for-idl-dictionary⑨\">dictionary types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#record-type\" id=\"ref-for-record-type①\">record types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-callback-interface\" id=\"ref-for-idl-callback-interface\">callback interface types</a></p>\n       </li></ul>\n      </dd><dt>sequence-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#sequence-type\" id=\"ref-for-sequence-type⑤\">sequence types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-frozen-array-type\" id=\"ref-for-dfn-frozen-array-type①\">frozen array types</a></p>\n       </li></ul>\n     </dd></dl>\n     <table class=\"matrix data complex\" id=\"distinguishable-table\">\n      <thead>\n       <tr>\n        <th class=\"corner\">\n        </th><th>\n         <div><span>undefined</span></div>\n        </th><th>\n         <div><span>boolean</span></div>\n        </th><th>\n         <div><span>numeric types</span></div>\n        </th><th>\n         <div><span>bigint</span></div>\n        </th><th>\n         <div><span>string types</span></div>\n        </th><th>\n         <div><span>object</span></div>\n        </th><th>\n         <div><span>symbol</span></div>\n        </th><th>\n         <div><span>interface-like</span></div>\n        </th><th>\n         <div><span>callback function</span></div>\n        </th><th>\n         <div><span>dictionary-like</span></div>\n        </th><th>\n         <div><span>async sequence</span></div>\n        </th><th>\n         <div><span>sequence-like</span></div>\n      </th></tr></thead><tbody>\n       <tr>\n        <th>undefined\n        \n        </th><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>boolean\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>numeric types\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>(b)\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>bigint\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>string types\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>(d)\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>object\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>\n        </td><td>\n        </td><td>\n        </td><td>\n        </td><td>\n       </td></tr><tr>\n        <th>symbol\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>interface-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>(a)\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>callback function\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>(c)\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>dictionary-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>async sequence\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>\n       </td></tr><tr>\n        <th>sequence-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n     </td></tr></tbody></table>",
+          "html": "<p>Consider the two \"innermost\" types derived by taking each type’s <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#annotated-types-inner-type\" id=\"ref-for-annotated-types-inner-type①\">inner type</a>\nif it is an <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#annotated-types\" id=\"ref-for-annotated-types①\">annotated type</a>, and then taking its <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-inner-type\" id=\"ref-for-dfn-inner-type④\">inner type</a> inner type\nif the result is a <a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-nullable-type\" id=\"ref-for-dfn-nullable-type⑧\">nullable type</a>. If these two innermost types appear or are in categories\nappearing in the following table and there is a “●” mark in the corresponding entry\nor there is a letter in the corresponding entry and the designated additional\nrequirement below the table is satisfied, then return <i>true</i>.\nOtherwise return <i>false</i>.</p>\n     <p>Categories:</p>\n     <dl>\n      <dt>interface-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-interface\" id=\"ref-for-idl-interface①\">interface types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-buffer-source-type\" id=\"ref-for-dfn-buffer-source-type\">buffer source types</a></p>\n       </li></ul>\n      </dd><dt>dictionary-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-dictionary\" id=\"ref-for-idl-dictionary⑨\">dictionary types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#record-type\" id=\"ref-for-record-type①\">record types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#idl-callback-interface\" id=\"ref-for-idl-callback-interface\">callback interface types</a></p>\n       </li></ul>\n      </dd><dt>sequence-like\n      </dt><dd>\n       <ul>\n        <li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#sequence-type\" id=\"ref-for-sequence-type⑤\">sequence types</a></p>\n        </li><li data-md=\"\">\n         <p><a data-link-type=\"dfn\" href=\"https://webidl.spec.whatwg.org/#dfn-frozen-array-type\" id=\"ref-for-dfn-frozen-array-type①\">frozen array types</a></p>\n       </li></ul>\n     </dd></dl>\n     <table class=\"complex data matrix\" id=\"distinguishable-table\">\n      <thead>\n       <tr>\n        <th class=\"corner\">\n        </th><th>\n         <div><span>undefined</span></div>\n        </th><th>\n         <div><span>boolean</span></div>\n        </th><th>\n         <div><span>numeric types</span></div>\n        </th><th>\n         <div><span>bigint</span></div>\n        </th><th>\n         <div><span>string types</span></div>\n        </th><th>\n         <div><span>object</span></div>\n        </th><th>\n         <div><span>symbol</span></div>\n        </th><th>\n         <div><span>interface-like</span></div>\n        </th><th>\n         <div><span>callback function</span></div>\n        </th><th>\n         <div><span>dictionary-like</span></div>\n        </th><th>\n         <div><span>async sequence</span></div>\n        </th><th>\n         <div><span>sequence-like</span></div>\n      </th></tr></thead><tbody>\n       <tr>\n        <th>undefined\n        \n        </th><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>boolean\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>numeric types\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>(b)\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>bigint\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>string types\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>(d)\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>object\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>\n        </td><td>\n        </td><td>\n        </td><td>\n        </td><td>\n       </td></tr><tr>\n        <th>symbol\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>interface-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>(a)\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>callback function\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>(c)\n        \n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>dictionary-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>●\n        \n        </td><td>●\n    \n       </td></tr><tr>\n        <th>async sequence\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n        </td><td>\n       </td></tr><tr>\n        <th>sequence-like\n        \n        </th><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td class=\"belowdiagonal\">\n        </td><td>\n     </td></tr></tbody></table>",
           "ignored": [
             "The two identified interface-like types are not the same, and no single platform object implements both interface-like types. The types are distinguishable, but there is a separate restriction on their use in overloading below. Please also note the advice about using unions of these types. A callback function that does not have [LegacyTreatNonObjectAsNull] extended attribute is distinguishable from a type in the dictionary-like category. The types are distinguishable, but when converting from an ECMAScript value, a string object is never converted to an async sequence type (even if it has a %Symbol.iterator% method), if a string type is also in the overload set or union."
           ]

ed/dfns/webidl.json

@@ -1722,7 +1722,8 @@
       "id": "dfn-async-iterable-declaration",
       "href": "https://webidl.spec.whatwg.org/#dfn-async-iterable-declaration",
       "linkingText": [
-        "asynchronously iterable declaration"
+        "asynchronously iterable declaration",
+        "async_iterable"
       ],
       "localLinkingText": [],
       "type": "dfn",