add acknowledgements

MIL/C01_Introduction/S02_Overview.lean

@@ -210,13 +210,15 @@ Your life may never be the same.
 infrastructure for running this tutorial in VS Code,
 and to Scott Morrison and Mario Carneiro for help porting it from Lean 4.
 We are also grateful for help and corrections from
-Julian Berman, Alex Best,
-Bulwi Cha, Bryan Gin-ge Chen, Mauricio Collaris, Johan Commelin, Mark Czubin,
-Denis Gorbachev, Winston de Greef,
+Takeshi Abe, Julian Berman, Alex Best,
+Bulwi Cha, Bryan Gin-ge Chen, Steven Clontz, Mauricio Collaris, Johan Commelin, Mark Czubin,
+Alexandru Duca, Denis Gorbachev, Winston de Greef,
 Mathieu Guay-Paquet, Julian Külshammer,
 Martin C. Martin,
 Giovanni Mascellani, Isaiah Mindich, Hunter Monroe, Pietro Monticone, Oliver Nash,
-Bartosz Piotrowski, Nicolas Rolland, Guilherme Silva, Floris van Doorn, and Eric Wieser.
+Bartosz Piotrowski, Nicolas Rolland, Keith Rush, Guilherme Silva,
+Pedro Sánchez Terraf,
+Floris van Doorn, and Eric Wieser.
 Our work has been partially supported by the Hoskinson Center for
 Formal Mathematics.
 TEXT. -/