update summit proofcraft presenter

Signed-off-by: Birgit Brecknell <b@brck.nl>

_includes/abstracts/2024/sel4-verification.html

@@ -10,7 +10,7 @@ <h4 class="summit-abstract-title">
     Talk
 </p>
 <p class="summit-abstract-author">
-    Presented by June Andronick, Rafal Kolanski, Gerwin Klein, Corey Lewis, Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
+    Presented by Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
 </p>
 <p>
     In this talk we will give an overview of Proofcraft's recent milestones, as well as ongoing and future plans for the formal verification of seL4 to support more platforms, architectures, configurations, and features.