> There have also been too many times in the past when they have been proven correct to ignore the possibility any longer.

Hi, in what instances has the conjecture that a bug was a deliberate
backdoor been proven correct?