diff --git a/docs/activities/2023-03-22-cicada-lang-manual.md b/docs/activities/2023-03-22-cicada-lang-manual.md
index 88e26b3b..6ea3b1f7 100644
--- a/docs/activities/2023-03-22-cicada-lang-manual.md
+++ b/docs/activities/2023-03-22-cicada-lang-manual.md
@@ -6,4 +6,4 @@ _Cicada Language Manual_ is the author's manual for a language he designed,
 -- both a _dependently typed programming language_
 and an _interactive theorem prover_.
 
-<readonlylink href="https://code-of-cicada-solo.fidb.app/docs/manual.json" />
+<readonlylink href="https://code-of-cicada-solo.xieyuheng.com/docs/manual.json" />