They were in a rush because they wanted to make sure the "thief" didn't get any money.

We can't hardfork every time ETH insiders are losing money.