PLFA agda exercises

Bump html-validate from 10.1.2 to 10.2.1 (#1138)

Bumps html-validate from 10.1.2 to 10.2.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.2.1</h2> <h2>10.2.1 (2025-10-24)</h2> <h3>Bug Fixes</h3> <ul> <li>package republished only, no changes from v10.2.0 (<a href="https://gitlab.com/html-validate/html-validate/commit/722c37f3781d158596489bbe29affd64a6f127d5">722c37f</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.2.1 (2025-10-24)</h2> <h3>Bug Fixes</h3> <ul> <li>package republished only, no changes from v10.2.0 (<a href="https://gitlab.com/html-validate/html-validate/commit/722c37f3781d158596489bbe29affd64a6f127d5">722c37f</a>)</li> </ul> <h2>10.2.0 (2025-10-24)</h2> <h3>Features</h3> <ul> <li><strong>deps:</strong> support vitest v4 (<a href="https://gitlab.com/html-validate/html-validate/commit/11936fc0d4c91608e8035fcd62716c37b66d3685">11936fc</a>)</li> <li><strong>rules:</strong> <code>aria-label-misuse</code> validates <code>aria-labelledby</code> in addition to <code>aria-label</code> (<a href="https://gitlab.com/html-validate/html-validate/commit/ef278982c85b784518e7e502a50fa40545b88b2a">ef27898</a>)</li> <li><strong>rules:</strong> clearer <code>aria-label-misuse</code> error for elements where its strictly allowed but not recommended (<a href="https://gitlab.com/html-validate/html-validate/commit/7b3a486716b4de1d63208ab2a69528b3da5b2641">7b3a486</a>)</li> </ul> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://gitlab.com/html-validate/html-validate/commit/016f432523af6c5bd7eee3a4a273ec230dee2616"><code>016f432</code></a> chore(release): 10.2.1</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/722c37f3781d158596489bbe29affd64a6f127d5"><code>722c37f</code></a> fix: package republished only, no changes from v10.2.0</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/d4a7d368dd4fc7b78dd53baaf7f3df6bcf45bb9c"><code>d4a7d36</code></a> chore(deps): update dependency vite to v7.1.12</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/278c41ecd382446d9a0c8f9c77efe25612a43706"><code>278c41e</code></a> chore(release): 10.2.0</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/5741a5e761296d420f75bb63d7701c5382cad102"><code>5741a5e</code></a> Merge branch 'feature/aria-labelledby-misuse' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/86ad3043fc2a42b1183709d8bfb50439ba7098f0"><code>86ad304</code></a> refactor: minor performance improvement</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/7b3a486716b4de1d63208ab2a69528b3da5b2641"><code>7b3a486</code></a> feat(rules): clearer <code>aria-label-misuse</code> error for elements where its strictl…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/ef278982c85b784518e7e502a50fa40545b88b2a"><code>ef27898</code></a> feat(rules): <code>aria-label-misuse</code> validates <code>aria-labelledby</code> in addition to `…</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/ea3c2c3abe076abb70247cb7a37685438e0d0362"><code>ea3c2c3</code></a> Merge branch 'docs/release-typos' into 'master'</li> <li><a href="https://gitlab.com/html-validate/html-validate/commit/eb2d05001056db26db3a28af8a3813e40dd77e74"><code>eb2d050</code></a> docs: fix year and versions</li> <li>Additional commits viewable in <a href="https://gitlab.com/html-validate/html-validate/compare/v10.1.2…v10.2.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 28, 2025
YIEV3LA5RE4DGVK5RGILQUGJWOCTNCNR4DME5VGDQSPGE34XCE2QC
Change contents