feat(corp/tvixbolt): link to tvl.su too r/5835

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>

1 files changed, 11 insertions, 0 deletions

diff --git a/corp/tvixbolt/src/main.rs b/corp/tvixbolt/src/main.rs
index 912741847b..0de48b3ac7 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>
         </>
     }
 }