And I doubt Gavin has enough power to hard fork even if he wanted to.
He easily does. Same thing with Sunny King and proof of stake.
But
he (personally) doesn't (without great risk) in the overall (holistic) political game theory. You are thinking too-inside-the-box.