Update of ED report from new reffy run

Using reffy commit 17.2.5.

Author: reffy-bot

ed/algorithms/vc-data-integrity.json

@@ -151,7 +151,7 @@
               "html": "Let <var>matchingProofs</var> be an empty list."
             },
             {
-              "html": "If <var>proof</var> contains a <code>previousProof</code> attribute and that attribute is a\n<a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"string\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#string\">string</a>, add the element from <var>allProofs</var> with an <code>id</code> attribute matching\n<code>previousProof</code> to <code>matchingProofs</code>. If a proof with <code>id</code> does not exist in\n<var>allProofs</var>, an error <em class=\"rfc2119\">MUST</em> be raised and <em class=\"rfc2119\">SHOULD</em> convey an error type of\n<a href=\"https://w3c.github.io/vc-data-integrity/#PROOF_VERIFICATION_ERROR\">PROOF_VERIFICATION_ERROR</a>. If the\n<code>previousProof</code> attribute is a <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a>, add each element from <var>allProofs</var> with an\n<code>id</code> attribute that matches an element of that <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a>. If any element of\n<code>previousProof</code> <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a> has an <code>id</code> attribute that does not match the <code>id</code>\nattribute of any element of <var>allProofs</var>, an error <em class=\"rfc2119\">MUST</em> be raised and <em class=\"rfc2119\">SHOULD</em>\nconvey an error type of\n<a href=\"https://w3c.github.io/vc-data-integrity/#PROOF_VERIFICATION_ERROR\">PROOF_VERIFICATION_ERROR</a>."
+              "html": "If <var>proof</var> contains a <code>previousProof</code> attribute and that attribute is a\n<a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"string\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#string\">string</a>, add the element from <var>allProofs</var> with an <code>id</code> attribute matching\n<code>previousProof</code> to <code>matchingProofs</code>. If a proof with <code>id</code> equal to <code>previousProof</code>\ndoes not exist in <var>allProofs</var>, an error <em class=\"rfc2119\">MUST</em> be raised and <em class=\"rfc2119\">SHOULD</em> convey an error type of\n<a href=\"https://w3c.github.io/vc-data-integrity/#PROOF_VERIFICATION_ERROR\">PROOF_VERIFICATION_ERROR</a>. If the\n<code>previousProof</code> attribute is a <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a>, add each element from <var>allProofs</var> with an\n<code>id</code> attribute that matches an element of that <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a>. If any element of\n<code>previousProof</code> <a data-link-type=\"dfn|abstract-op\" data-cite=\"infra\" data-cite-path=\"\" data-cite-frag=\"list\" data-type=\"dfn\" href=\"https://infra.spec.whatwg.org/#list\">list</a> has an <code>id</code> attribute that does not match the <code>id</code>\nattribute of any element of <var>allProofs</var>, an error <em class=\"rfc2119\">MUST</em> be raised and <em class=\"rfc2119\">SHOULD</em>\nconvey an error type of\n<a href=\"https://w3c.github.io/vc-data-integrity/#PROOF_VERIFICATION_ERROR\">PROOF_VERIFICATION_ERROR</a>."
             },
             {
               "html": "Let <var>inputDocument</var> be a copy of <var>securedDocument</var> with the proof value\nremoved and then set <var>inputDocument</var>.<var>proof</var> to <var>matchingProofs</var>."