Merge pull request #134 from TREEcg/pietercolpaert-patch-1

SHA: 91f4033
Reason: push, by pietercolpaert

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: pietercolpaert

discovery.html

@@ -8,7 +8,7 @@
   <meta content="Bikeshed version 9a7a6709a, updated Tue May 27 16:45:34 2025 -0700" name="generator">
   <link href="https://w3id.org/tree/specification/discovery" rel="canonical">
   <link href="https://www.w3.org/2008/site/images/favicon.ico" rel="icon">
-  <meta content="6f9e494ae930b01eaa92f6f8f7588921d73e004d" name="revision">
+  <meta content="91f40337e716db02829598a2117ec478afcda40f" name="revision">
   <meta content="dark light" name="color-scheme">
   <link href="https://www.w3.org/StyleSheets/TR/2021/dark.css" media="(prefers-color-scheme: dark)" rel="stylesheet" type="text/css">
 <style>/* Boilerplate: style-autolinks */