Even if they let the attacker get away with it this time, it would only be showing that Ethereum community used their discretion and chose not to in this case.