With pushback or not, the new filter has already been added. I keep forgetting that wordpress.org is not a democracy.