landing page css and text

client/src/components/LandingPage.css

@@ -117,7 +117,6 @@ div.image {
 }
 
 header {
-  border: 1px solid green;
   background-repeat: none;
   background-size: 100% 100%;
   background-position: center;

client/src/components/LandingPage.tsx

@@ -136,8 +136,9 @@ This is a good first introduction to Lean!"
       <div className="wrapper">
         <h2>Development notes</h2>
         <p>
-          As this server runs lean on our university machines, it has a limited capacity of 15-25
+          As this server runs lean on our university machines, it has a limited capacity.
-          games running simultaneously. We hope to address this limitation in the future.
+          Our current estimate is about 55 copies of the NNG or 25 copies of games importing
+          mathlib. We hope to address this limitation in the future.
         </p>
         <p>
           Most aspects of the games and the infrastructure are still in development. Feel free to