[Summit-pc] Re: seL4 summit program and gender diversity