People are not just rational beings, neither is the community. The 51% is dead, long live the 51%.
That's what power looks like. A few people decide and many people willingly make it happen.
The miners choosing to do this or not to do this changes nothing about the fundamental security assumptions of Ethereum. Even if they choose not to fork, that doesn't mean that they couldn't choose to do so in the future for some other case. So i'm not really sure what it is that's being lost if they choose to do so now.
If they roll this back, that will show that this assumption is wrong. They are not sufficiently invested or sufficiently idealistic to preserve the system. At least half of them value expediency instead.
Technologically it changes nothing, but it totally alters the human element.
So the best way to proceed, in my view, is to honor the current version of the contract (which equals the current version of the code including the "exploit") and then change the rules/code so that the same thing cannot happen again in the future.
what they wrote was only BARELY hyperbole, barely.