remove history section from main page

static/index.html

@@ -79,7 +79,8 @@
                     compatibility developed as a non-profit <a href="/source">open source</a>
                     project. It's focused on the research and development of privacy and security
                     technology including substantial improvements to sandboxing, exploit
-                    mitigations and the permission model.</p>
+                    mitigations and the permission model. It was founded in 2014 and was
+                    <a href="/history/copperheados">formerly known as CopperheadOS</a>.</p>
 
                     <p>GrapheneOS improves the privacy and security of the OS from the bottom up.
                     It deploys technologies to mitigate whole classes of vulnerabilities and make
@@ -124,14 +125,6 @@
                     and Google apps.</p>
                 </section>
 
-                <section id="history">
-                    <h2><a href="#history">History</a></h2>
-
-                    <p>GrapheneOS was founded as an open source project in late 2014. It was formerly
-                    known as CopperheadOS. For more details, see the <a href="/history/">history
-                    page</a>.</p>
-                </section>
-
                 <section id="upstream">
                     <h2><a href="#upstream">Upstream contributions</a></h2>
 

static/js/redirect.js

@@ -9,8 +9,11 @@
 // https://www.w3.org/Protocols/HTTP/Fragment/draft-bos-http-redirect-00.txt
 
 const redirects = new Map([
+    // removed main page sections
     ["/#copyright-and-licensing", "/faq#copyright-and-licensing"],
+    ["/#history", "/history"],
     ["/#roadmap", "/faq#roadmap"],
+
     ["/usage#default-connections", "/faq#default-connections"],
     ["/faq#dns", "/faq#custom-dns"],
     ["/install/cli#fastboot-as-non-root", "/install/cli#flashing-as-non-root"],