From 16634337cba632b4ee260a673eb012a864791d7c Mon Sep 17 00:00:00 2001
From: ashandoak <ash.blacquiere@pm.me>
Date: Tue, 24 Mar 2026 14:35:08 -0700
Subject: [PATCH] Add links to terms of use and privacy policy

---
 radar-ui/src/pages/about.vue | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/radar-ui/src/pages/about.vue b/radar-ui/src/pages/about.vue
index 4f3939c..a74f2f1 100644
--- a/radar-ui/src/pages/about.vue
+++ b/radar-ui/src/pages/about.vue
@@ -66,4 +66,19 @@ useTitle(radarTitle("About"));
       <i class="whitespace-nowrap">bench-after-CI</i> tag workflow.
     </p>
   </CSection>
+
+  <CSection title="Legal" class="max-w-[80ch]">
+    <p>
+      Please review our
+      <a href="https://lean-lang.org/terms/" class="decoration-blue underline decoration-dotted hover:decoration-solid"
+        >Terms of Use</a
+      >
+      and
+      <a
+        href="https://lean-lang.org/privacy/"
+        class="decoration-blue underline decoration-dotted hover:decoration-solid"
+        >Privacy Policy</a
+      >.
+    </p>
+  </CSection>
 </template>