[Summit] Automatic reply: [EXT] You Helped Make seL4 Summit 2025 a Success! 🎉

Hello, I will be out of office until September 15th on travel with limited availability. If you have questions related to Magnetite, reach out to Sam Jero. For Biotite questions, contact Ben Nahill. For LL EduCATE questions, message Jeffrey Lim and Joshna Iyengar. If there is an urgent issue, you can reach me at 781-879-5959. Best, Juliana