From 25a3598a7066a937c4dc231f5fdc94e63ddf3baa Mon Sep 17 00:00:00 2001
From: Magnus Madsen <magnusm@cs.au.dk>
Date: Mon, 3 Aug 2026 13:40:57 +0200
Subject: [PATCH] chore: point performance links to perf.flix.dev

Update the 'Perf' card on the documentation page and the inline
'performance' link in the FAQ from arewefast.flix.dev to the new
perf.flix.dev domain.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
---
 src/pages/documentation.astro | 2 +-
 src/pages/faq.astro           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/pages/documentation.astro b/src/pages/documentation.astro
index 8459477..35e2fa7 100644
--- a/src/pages/documentation.astro
+++ b/src/pages/documentation.astro
@@ -33,7 +33,7 @@ const smallLinks = [
   },
   {
     text: "Perf",
-    link: "https://arewefast.flix.dev/",
+    link: "https://perf.flix.dev/",
     icon: "octicon:graph-24",
   },
 ];
diff --git a/src/pages/faq.astro b/src/pages/faq.astro
index 5a90f0e..7a2c700 100644
--- a/src/pages/faq.astro
+++ b/src/pages/faq.astro
@@ -376,7 +376,7 @@ import Question from "../components/FAQ/Question.astro";
       <div>
         The <a href="https://doc.flix.dev/research-literature.html">research</a
         >, the <a href="https://github.com/flix/flix">code</a>, and the <a
-          href="https://arewefast.flix.dev/">performance</a
+          href="https://perf.flix.dev/">performance</a
         >.
       </div>
     </QA>