I doubt we'd hear of it if it turned out to be the case.
I still think it was an attempt to make headlines like the Germanwings co-pilot, but point the finger at safety issues while committing murder/suicide because he was nuts. Only the suicide didn't work out properly.
Failed suicides are not often fodder for headlines,..nope.