diff --git a/repl/public/favicon.ico b/repl/public/favicon.ico
index a11777cc..7a9d261f 100644
Binary files a/repl/public/favicon.ico and b/repl/public/favicon.ico differ
diff --git a/repl/public/index.html b/repl/public/index.html
index aa069f27..afe9c202 100644
--- a/repl/public/index.html
+++ b/repl/public/index.html
@@ -5,39 +5,13 @@
     <link rel="icon" href="%PUBLIC_URL%/favicon.ico" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="theme-color" content="#000000" />
-    <meta
-      name="description"
-      content="Web site created using create-react-app"
-    />
-    <link rel="apple-touch-icon" href="%PUBLIC_URL%/logo192.png" />
-    <!--
-      manifest.json provides metadata used when your web app is installed on a
-      user's mobile device or desktop. See https://developers.google.com/web/fundamentals/web-app-manifest/
-    -->
-    <link rel="manifest" href="%PUBLIC_URL%/manifest.json" />
-    <!--
-      Notice the use of %PUBLIC_URL% in the tags above.
-      It will be replaced with the URL of the `public` folder during the build.
-      Only files inside the `public` folder can be referenced from the HTML.
-
-      Unlike "/favicon.ico" or "favicon.ico", "%PUBLIC_URL%/favicon.ico" will
-      work correctly both with client-side routing and a non-root public URL.
-      Learn how to configure a non-root public URL by running `npm run build`.
-    -->
-    <title>React App</title>
+    <meta name="description" content="Strudel REPL" />
+    <!-- TODO: add manifest images -->
+    <!-- <link rel="manifest" href="%PUBLIC_URL%/manifest.json" /> -->
+    <title>Strudel REPL</title>
   </head>
   <body>
     <noscript>You need to enable JavaScript to run this app.</noscript>
     <div id="root"></div>
-    <!--
-      This HTML file is a template.
-      If you open it directly in the browser, you will see an empty page.
-
-      You can add webfonts, meta tags, or analytics to this file.
-      The build step will place the bundled scripts into the <body> tag.
-
-      To begin the development, run `npm start` or `yarn start`.
-      To create a production bundle, use `npm run build` or `yarn build`.
-    -->
   </body>
 </html>
diff --git a/repl/public/logo192.png b/repl/public/logo192.png
deleted file mode 100644
index fc44b0a3..00000000
Binary files a/repl/public/logo192.png and /dev/null differ
diff --git a/repl/public/logo512.png b/repl/public/logo512.png
deleted file mode 100644
index a4e47a65..00000000
Binary files a/repl/public/logo512.png and /dev/null differ
