Btw, do you know how to credit the AI site with reporting something? For instance for syzbot gives me a Reported-by: line that carries something that can be used as an email address. There were other things in the AI report, some of which I added patches for. David