[_Gyan_]

There have been 2000 fixes related to fuzzer issues so far, averaging 400 fixes in recent years. Almost all of them are taken care of by Michael.