[seL4 Announce] Thanks Horizon Robotics for sponsoring the seL4 Summit 2022