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