[seL4 Announce] Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner