Remove the landing page, redirect to "What is Pluto?" page instead

Author: Sainan

docusaurus.config.js

@@ -76,6 +76,7 @@ const config = {
       navbar: {
         title: 'Pluto',
         logo: {
+          href: 'docs/Introduction',
           alt: 'Pluto Logo',
           src: 'img/logo.png',
         },

src/components/HomepageFeatures/index.js

@@ -1,41 +1,6 @@
 import React from 'react';
-import clsx from 'clsx';
-import Link from '@docusaurus/Link';
-import useDocusaurusContext from '@docusaurus/useDocusaurusContext';
-import Layout from '@theme/Layout';
-import HomepageFeatures from '@site/src/components/HomepageFeatures';
-
-import styles from './index.module.css';
-
-function HomepageHeader() {
-  const {siteConfig} = useDocusaurusContext();
-  return (
-    <header className={clsx('hero hero--primary', styles.heroBanner)}>
-      <div className="container">
-        <h1 className="hero__title">{siteConfig.title}</h1>
-        <p className="hero__subtitle">{siteConfig.tagline}</p>
-        <div className={styles.buttons}>
-          <Link
-            className="button button--secondary button--lg"
-            to="/docs/Introduction">
-            Learn More
-          </Link>
-        </div>
-      </div>
-    </header>
-  );
-}
+import {Redirect} from '@docusaurus/router';
 
 export default function Home() {
-  const {siteConfig} = useDocusaurusContext();
-  return (
-    <Layout
-      title={siteConfig.title}
-      description="The official website for Pluto, a Lua dialect.">
-      <HomepageHeader />
-      <main>
-        <HomepageFeatures />
-      </main>
-    </Layout>
-  );
+  return <Redirect to="/docs/Introduction" />;
 }