From c13759e89fc23af1c4ce63d09cf6192a3d119554 Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Thu, 2 Feb 2023 18:35:36 +0100
Subject: [PATCH] feat(corp/tvixbolt): link to tvl.su too

Make it clear that Tvixbolt is a project of TVL LLC, and link to the
community website too.

See https://b.tvl.fyi/issues/248

Change-Id: Iefefe0263fa5ef01587d49c5a130a38b78ca7981
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8019
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Autosubmit: flokli <flokli@flokli.de>
---
 corp/tvixbolt/src/main.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs
index 912741847..0de48b3ac 100644
--- a/corp/tvixbolt/src/main.rs
+++ b/corp/tvixbolt/src/main.rs
@@ -44,6 +44,17 @@ fn tvixbolt_overview() -> Html {
             {"Tvix is still "}<i>{"extremely work-in-progress"}</i>{" and you "}
             {"should expect to be able to cause bugs and errors in this tool."}
           </p>
+          <p>
+            {"Tvixbolt is a project from "}
+            <a href="https://tvl.su">
+              {"TVL LLC"}
+            </a>
+            {". If you're looking for the TVL Community, click "}
+            <a href="https://tvl.fyi">
+              {"here"}
+            </a>
+            {"."}
+          </p>
         </>
     }
 }