The big blockers were doomed to fail, not necessarily because of the arguments quoted above, but because they tried to push the change as a hardfork, which is impossible* for any change that is even the slightest bit controversial.

*They forked off, but the fork is not Bitcoin.