chore(tvixbolt): move from //corp to //web r/7595

Assigning copyright to the TVL community (whatever that is), and
adding AGPL-3.0-or-later license.

I also cleaned up some of the stuff on the landing page.

Change-Id: I4dbca19406e00e5105fed50e8fb64e0fcca23e3a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11013
Autosubmit: tazjin <tazjin@tvl.su>
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI

1 files changed, 14 insertions, 36 deletions

diff --git a/corp/tvixbolt/src/main.rs b/web/tvixbolt/src/main.rs
index e8a2bc02e2..2e68e03fb0 100644
--- a/corp/tvixbolt/src/main.rs
+++ b/web/tvixbolt/src/main.rs
@@ -1,3 +1,8 @@
+// tvixbolt - an online tool for exploring Tvix language evaluation
+//
+// Copyright (C) The TVL Community
+// SPDX-License-Identifier: AGPL-3.0-or-later
+
 use std::fmt::Write;
 
 use serde::{Deserialize, Serialize};
@@ -35,23 +40,17 @@ fn tvixbolt_overview() -> Html {
         <>
           <p>
             {"This page lets you explore the bytecode generated by the "}
-            <a href="https://cs.tvl.fyi/depot/-/tree/tvix">{"Tvix"}</a>
-            {" compiler for the Nix language. See the "}
-            <a href="https://tvl.fyi/blog/rewriting-nix">{"Tvix announcement"}</a>
-            {" for some background information on Tvix itself."}
+            <a href="https://tvix.dev">{"Tvix"}</a>
+            {" compiler for the Nix language."}
           </p>
           <p>
-            {"Tvix is still "}<i>{"extremely work-in-progress"}</i>{" and you "}
-            {"should expect to be able to cause bugs and errors in this tool."}
+            {"Tvix is still "}<i>{"work-in-progress"}</i>{" and we would appreciate "}
+            {"if you told us about bugs you find."}
           </p>
           <p>
-            {"Tvixbolt is a project from "}
-            <a href="https://tvl.su">
-              {"TVL LLC"}
-            </a>
-            {". If you're looking for the TVL Community, click "}
+            {"Tvixbolt is a project by "}
             <a href="https://tvl.fyi">
-              {"here"}
+              {"TVL"}
             </a>
             {"."}
           </p>
@@ -59,26 +58,6 @@ fn tvixbolt_overview() -> Html {
     }
 }
 
-/// This renders an ad in the Tvixbolt footer. Most people that end up
-/// on Tvixbolt will probably block this anyways, but might as well.
-fn ad() -> Html {
-    let ad_code = r#"
-window.yaContextCb.push(()=>{
-  Ya.Context.AdvManager.render({
-    renderTo: 'yandex_rtb_R-A-1943274-1',
-    blockId: 'R-A-1943274-1'
-  })
-})
-"#;
-
-    html! {
-        <div id="ad">
-            <div id="yandex_rtb_R-A-1943274-1"></div>
-            <script>{ad_code}</script>
-        </div>
-    }
-}
-
 fn footer_link(location: &'static str, name: &str) -> Html {
     html! {
         <>
@@ -93,14 +72,13 @@ fn footer() -> Html {
         <hr/>
         <footer>
           <p class="footer">
-            {footer_link("https://tvl.su", "home")}
+            {footer_link("https://tvl.fyi", "home")}
             {footer_link("https://cs.tvl.fyi", "code")}
             {footer_link("https://tvl.fyi/builds", "ci")}
             {footer_link("https://b.tvl.fyi", "bugs")}
-            {"© ООО ТВЛ"}
+            {"© TVL"}
           </p>
           <p class="lod">{"ಠ_ಠ"}</p>
-          {ad()}
         </footer>
         </>
     }
@@ -149,7 +127,7 @@ impl Component for Model {
         html! {
             <>
             <div class="container">
-                <h1>{"tvixbolt 0.1-alpha"}</h1>
+                <h1>{"tvixbolt"}</h1>
                 {tvixbolt_overview()}
                 <form>
                   <fieldset>