SEO optimisations including social card, landing page title and description, and relevant config changes

This commit
1. Created a homemade 1200x630 SVG social card for display
2. Changed the config to use that SVG
3. Changed standalone pages' (index, community and publication) `title` and `description` field to allow social medias to generate more informative description

Author: axmmisaka

docusaurus.config.ts

@@ -66,8 +66,7 @@ const config: Config = {
   ],
 
   themeConfig: {
-    // Replace with your project's social card
-    image: 'img/docusaurus-social-card.jpg',
+    image: 'img/lf-social-card.svg',
     navbar: {
       logo: {
         alt: 'The Lingua Franca Logo',

src/components/Community/index.tsx

@@ -49,7 +49,10 @@ export const SocialMediaCard = ({
 export default function Community(): JSX.Element {
   const { siteConfig } = useDocusaurusContext();
   return (
-    <Layout>
+    <Layout
+      title="Community"
+      description="Intuitive concurrent programming in any language"
+    >
       {/* Social media */}
       {/* Active contributors */}
       <div className="section">

src/components/Publications/index.tsx

@@ -49,7 +49,7 @@ const notablePapers = [
 
 export default () => {
   return (
-    <Layout description="Publications of the Lingua Franca">
+    <Layout title="Publications" description="Intuitive concurrent programming in any language">
       <div className="section">
         <div className="container">
           <Heading

src/pages/index.tsx

@@ -146,8 +146,8 @@ export default function Home(): JSX.Element {
   const { siteConfig } = useDocusaurusContext();
   return (
     <Layout
-      title={`Welcome`}
-      description="Intuitive concurrent programming in any language"
+      title="Intuitive concurrent programming in any language"
+      description="Build time-sensitive, concurrent, and distributed systems effortlessly"
     >
       <main>
         <HeroBanner />