optimize

static/root/index.html

@@ -107,11 +107,15 @@
             interesting stuff here, depending on where you look.
           </p>
 
-          <img
-            height="200"
-            src="static/Noratrieb.png"
-            alt="Two grey cartoon-cats on a pink background. The left cat is small and sits on a floating rocket, the right cat is big and has a red bow tie on the right ear."
-          />
+          <picture>
+            <source srcset="static/Noratrieb.avif" type="image/avif" />
+            <source srcset="static/Noratrieb.webp" type="image/webp" />
+            <img
+              height="200"
+              src="static/Noratrieb.png"
+              alt="Two grey cartoon-cats on a pink background. The left cat is small and sits on a floating rocket, the right cat is big and has a red bow tie on the right ear."
+            />
+          </picture>
         </div>
         <h2 class="section-heading">Status of This Memo</h2>
         <div class="section-body">