I think it's great to see industrial recognition for AFL++ and also to see AdaCore contributing to improve the state of the art of fuzzing tools, not only for Ada but for other gcc languages.
I hope this pans out interesting stuff, and I really think that Ada is a great language for fuzzing, that could inspire lots of improvements in other languages.