Update of ED report from new reffy run

Using reffy commit 19.2.3.

Author: reffy-bot

ed/algorithms/wasm-core-2.json

@@ -4159,7 +4159,7 @@
           "html": "<p>Pop the value <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mopen\">(</span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-vectype\"><span class=\"mord\"><span class=\"mord mathsf\" style=\"margin-right:0.01389em;\">v</span><span class=\"mord mtight sizing reset-size6 size3\">128</span></span></a><span class=\"mord\"><span class=\"mord mathrm\">.</span></span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-instr-numeric\"><span class=\"mord\"><span class=\"mord mathsf\">const</span></span></a><span class=\"mspace nobreak\">&nbsp;</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mclose\">)</span></span></span></span></span></span></span> from the stack.</p>"
         },
         {
-          "html": "<p>Let <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:0.43056em;vertical-align:0em;\"></span><span class=\"mord mathrm\">c</span></span></span></span></span></span> be <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1.1052em;vertical-align:-0.3551999999999999em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><a href=\"https://webassembly.github.io/spec/core/bikeshed/#op-ine\"><span class=\"mord\"><span class=\"mord mathrm\">ine</span></span></a></span></span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5198em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><span class=\"mord mathrm mtight\">∣</span><a class=\"mtight\" href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-vectype\"><span class=\"mord mtight\"><span class=\"mord mathsf mtight\" style=\"margin-right:0.01389em;\">v</span><span class=\"mord mtight\">128</span></span></a><span class=\"mord mathrm mtight\">∣</span></span></span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mopen\">(</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mpunct\">,</span><span class=\"mspace\" style=\"margin-right:0.16666666666666666em;\"></span><span class=\"mord mathrm\">0</span><span class=\"mclose\">)</span></span></span></span></span></span></span>.</p>"
+          "html": "<p>Let <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:0.43056em;vertical-align:0em;\"></span><span class=\"mord mathrm\">c</span></span></span></span></span></span> be <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1.1052em;vertical-align:-0.3551999999999999em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><a href=\"https://webassembly.github.io/spec/core/bikeshed/#op-inez\"><span class=\"mord\"><span class=\"mord mathrm\">inez</span></span></a></span></span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5198em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><span class=\"mord mathrm mtight\">∣</span><a class=\"mtight\" href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-vectype\"><span class=\"mord mtight\"><span class=\"mord mathsf mtight\" style=\"margin-right:0.01389em;\">v</span><span class=\"mord mtight\">128</span></span></a><span class=\"mord mathrm mtight\">∣</span></span></span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mopen\">(</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mclose\">)</span></span></span></span></span></span></span>.</p>"
         },
         {
           "html": "<p>Push the value <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mopen\">(</span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-numtype\"><span class=\"mord\"><span class=\"mord mathsf\">i</span><span class=\"mord mtight sizing reset-size6 size3\">32</span></span></a><span class=\"mord\"><span class=\"mord mathrm\">.</span></span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-instr-numeric\"><span class=\"mord\"><span class=\"mord mathsf\">const</span></span></a><span class=\"mspace nobreak\">&nbsp;</span><span class=\"mord mathrm\">c</span><span class=\"mclose\">)</span></span></span></span></span></span></span> to the stack.</p>"
@@ -4272,10 +4272,13 @@
           "html": "<p>Pop the value <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mopen\">(</span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-vectype\"><span class=\"mord\"><span class=\"mord mathsf\" style=\"margin-right:0.01389em;\">v</span><span class=\"mord mtight sizing reset-size6 size3\">128</span></span></a><span class=\"mord\"><span class=\"mord mathrm\">.</span></span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-instr-numeric\"><span class=\"mord\"><span class=\"mord mathsf\">const</span></span></a><span class=\"mspace nobreak\">&nbsp;</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mclose\">)</span></span></span></span></span></span></span> from the stack.</p>"
         },
         {
-          "html": "<p>Let <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:0.66786em;vertical-align:0em;\"></span><span class=\"mord mathrm\">i</span></span></span></span></span></span> be <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-vrelop\"><span class=\"mord\"><span class=\"mord mathit\">vtestop</span></span></a></span></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"></span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><span class=\"mord mathit mtight\">sh</span></span></span></span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mopen\">(</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mclose\">)</span></span></span></span></span></span></span></span>.</p>"
+          "html": "<p>Let <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:0.738696em;vertical-align:0em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord mathrm\">i</span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-3.113em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mbin mtight\">∗</span></span></span></span></span></span></span></span></span></span></span></span></span></span> be <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><a href=\"https://webassembly.github.io/spec/core/bikeshed/#aux-lanes\"><span class=\"mord\"><span class=\"mord mathrm\">lanes</span></span></a></span></span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\"><a class=\"mtight\" href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-numtype\"><span class=\"mord mathsf mtight\">i</span></a></span><span class=\"mord mtight\"><span class=\"mord mtight\"><a class=\"mtight\" href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-numtype\"><span class=\"mspace mtight\" style=\"margin-right:-0.14285714285714288em;\"></span><span class=\"mord mathnormal mtight\" style=\"margin-right:0.10903em;\">N</span></a></span></span></span><span class=\"mord mtight\"><a class=\"mtight\" href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-shape\"><span class=\"mord mathsf mtight\">x</span></a></span><span class=\"mord mtight\"><span class=\"mord mathrm mtight\">M</span></span></span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mopen\">(</span><span class=\"mord\"><span class=\"mord mathrm\">c</span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-left:0em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathrm mtight\">1</span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mclose\">)</span></span></span></span></span></span></span>.</p>"
         },
         {
-          "html": "<p>Push the value <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mopen\">(</span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-numtype\"><span class=\"mord\"><span class=\"mord mathsf\">i</span><span class=\"mord mtight sizing reset-size6 size3\">32</span></span></a><span class=\"mord\"><span class=\"mord mathrm\">.</span></span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-instr-numeric\"><span class=\"mord\"><span class=\"mord mathsf\">const</span></span></a><span class=\"mspace nobreak\">&nbsp;</span><span class=\"mord mathrm\">i</span><span class=\"mclose\">)</span></span></span></span></span></span></span> to the stack.</p>"
+          "html": "<p>Let <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:0.43056em;vertical-align:0em;\"></span><span class=\"mord mathrm\">c</span></span></span></span></span></span> be <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord mathrm\">Π</span></span><span class=\"mspace\" style=\"margin-right:0.16666666666666666em;\"></span><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><span class=\"mord\"><a href=\"https://webassembly.github.io/spec/core/bikeshed/#op-inez\"><span class=\"mord\"><span class=\"mord mathrm\">inez</span></span></a></span></span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-2.5500000000000003em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathrm mtight\">N</span></span></span></span></span><span class=\"vlist-s\">​</span></span><span class=\"vlist-r\"><span class=\"vlist\"><span></span></span></span></span></span></span><span class=\"mopen\">(</span><span class=\"mord mathrm\">i</span><span class=\"mclose\"><span class=\"mclose\">)</span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\"><span style=\"top:-3.113em;margin-right:0.05em;\"><span class=\"pstrut\" style=\"height:2.7em;\"></span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mbin mtight\">∗</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span>.</p>"
+        },
+        {
+          "html": "<p>Push the value <span class=\"  notranslate nohighlight\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"strut\" style=\"height:1em;vertical-align:-0.25em;\"></span><span class=\"mord\"><span class=\"mopen\">(</span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-numtype\"><span class=\"mord\"><span class=\"mord mathsf\">i</span><span class=\"mord mtight sizing reset-size6 size3\">32</span></span></a><span class=\"mord\"><span class=\"mord mathrm\">.</span></span><a href=\"https://webassembly.github.io/spec/core/bikeshed/#syntax-instr-numeric\"><span class=\"mord\"><span class=\"mord mathsf\">const</span></span></a><span class=\"mspace nobreak\">&nbsp;</span><span class=\"mord mathrm\">c</span><span class=\"mclose\">)</span></span></span></span></span></span></span> to the stack.</p>"
         }
       ]
     },