Ah I heard of this. Interesting that this is the decision now for this incident. But I think its the right thing to do. As u already stated: The network has now such a high activity and so many firms now rely on it that doing hard forks is not really an easy task.
But things like this shows us that we definitely need some ways to prevent such human errors in the future. There must be a strict quality insurance process for production-ready blockchain code.