The ETH developers can propose all the hardforks they want. It's still ultimately the miners and users who decide whether to comply or not. It's exactly how a decentralized system works.
Rationalize it all you want , but whether it is the developers pushing the miners or the miners independently deciding on the HF , the end result is the same. This is a HF to seize assets targeted at 1 specific user that was legitimately and legally acquired. Remember in Smart contracts code is law , and the "hacker" was following the law, therefore there was technically no hack and the contracts completed as designed!