PLFA agda exercises

Bump html-validate from 10.0.0 to 10.1.1 (#1135)

Bumps html-validate from 10.0.0 to 10.1.1. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/tags">html-validate's releases</a>.</em></p> <blockquote> <h2>v10.1.1</h2> <h2>10.1.1 (2025-10-06)</h2> <h3>Bug Fixes</h3> <ul> <li>fix <code>unrecognized-char-ref</code> triggering [secure] positives for <code>&lt;script&gt;</code> and <code>&lt;style&gt;</code> tags (<a href="https://gitlab.com/html-validate/html-validate/commit/efffc6bcd56e9be85314739833d3f661a87fb8cd">efffc6b</a>)</li> </ul> <h2>v10.1.0</h2> <h2>10.1.0 (2025-10-03)</h2> <h3>Features</h3> <ul> <li>parse <code>&lt;textarea&gt;</code> content as literal characters instead of HTML elements (<a href="https://gitlab.com/html-validate/html-validate/commit/f3d4f5b178aab8e31e2e8680081ea3cdc8bfdf04">f3d4f5b</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/314">#314</a></li> <li>store <code>&lt;script&gt;</code> and <code>&lt;style&gt;</code> content as text node (<a href="https://gitlab.com/html-validate/html-validate/commit/740b94a8c0d43d4b793ca8e94f0bb8acee07eb16">740b94a</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/316">#316</a></li> </ul> </blockquote> </details> <details> <summary>Changelog</summary> <p><em>Sourced from <a href="https://gitlab.com/html-validate/html-validate/blob/master/CHANGELOG.md">html-validate's changelog</a>.</em></p> <blockquote> <h2>10.1.1 (2025-10-06)</h2> <h3>Bug Fixes</h3> <ul> <li>fix <code>unrecognized-char-ref</code> triggering [secure] positives for <code>&lt;script&gt;</code> and <code>&lt;style&gt;</code> tags (<a href="https://gitlab.com/html-validate/html-validate/commit/efffc6bcd56e9be85314739833d3f661a87fb8cd">efffc6b</a>)</li> </ul> <h2>10.1.0 (2025-10-03)</h2> <h3>Features</h3> <ul> <li>parse <code>&lt;textarea&gt;</code> content as literal characters instead of HTML elements (<a href="https://gitlab.com/html-validate/html-validate/commit/f3d4f5b178aab8e31e2e8680081ea3cdc8bfdf04">f3d4f5b</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/314">#314</a></li> <li>store <code>&lt;script&gt;</code> and <code>&lt;style&gt;</code> content as text node (<a href="https://gitlab.com/html-validate/html-validate/commit/740b94a8c0d43d4b793ca8e94f0bb8acee07eb16">740b94a</a>), closes <a href="https://gitlab.com/html-validate/html-validate/issues/316">#316</a></li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/028504f83dcab35068828e76b9a83ff226e5b37c"><code>028504f</code></a> chore(release): 10.1.1</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/84d8eb5bc7c41289cc3fa0d889fc09406212eddd"><code>84d8eb5</code></a> Merge branch 'renovate/lock-file-maintenance' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/9ff049ecdb9e7dff1ae8811326e20d9626f183a7"><code>9ff049e</code></a> chore(deps): lock file maintenance</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/51c9939113465dcebb98c396b8b660e254709b71"><code>51c9939</code></a> Merge branch 'feature/deep-deps' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/aeaaa9a12242a6773959754623b242b397c3c002"><code>aeaaa9a</code></a> chore(deps): npm dedupe</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/0f9df434465b51ae55e98d169e499d06a63a550f"><code>0f9df43</code></a> Merge branch 'bugfix/script-characters' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/010f020b36ad623f968b319134fa4cc6379ad887"><code>010f020</code></a> refactor: use a common property to determine what text content contains</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/efffc6bcd56e9be85314739833d3f661a87fb8cd"><code>efffc6b</code></a> fix: fix <code>unrecognized-char-ref</code> triggering false positives for <code>&amp;lt;script&gt;</code> an…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/66de3c7ead9cf4058905afceca62fd344e248260"><code>66de3c7</code></a> test: add missing tests to <code>no-raw-characters</code></li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/bffe69377b9d7e8d7fbe2a31595853ebf3064a88"><code>bffe693</code></a> Merge branch 'renovate/rollup-plugin-node-resolve-16.x' into 'master'</li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.0.0…v10.1.1">compare view</a></li> </ul> </details> <br />

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


<details> <summary>Dependabot commands and options</summary> <br />

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show &lt;dependency name&gt; ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

</details>

Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Created by  dependabot[bot]  on October 9, 2025
FHAGPPTV3VMSIHGPOZNGBSWQJKTUMR4HZYRMYWOFMGFVLUYU74NAC
Change contents