Most miners are pretty disconnected from the hardcore Bitcoin technology-focused crowd. They probably don’t even know, or care about this.

They will care when it starts costing them fees, that's the design. Miners that cencor are less profitable than miners that don't