Well there have been other accidental bugs (reentrancy, for one) that got exploited by thieves who turned out not to be the devs. But I agree, that's not what

Well there have been other accidental bugs (reentrancy, for one) that got exploited by thieves who turned out not to be the devs. But I agree, that's not what happened here.