I recall that a second large theft [1] did not get a hard-fork resolution.

Whether it's due to bias from the core team or a wish to stay away from being a final arbitration after the first event, I'm not in a position to judge.

[1] https://www.coindesk.com/30-million-ether-reported-stolen-pa...