squatter what you are quoting about what miners removed was not the fee priority formulae. but a dedicated 10% of blockspace for zero fee users that 'aged out' of the fee formulae.. in essense if you havnt spent your funds for x confirms then your transaction doesnt need to pay fee's because it wont be calculatable by the fee formulae. plus it makes pools not get anything.
what miners did had nothing to do with the formulae itself.
The formula itself was never part of the protocol. That's why miners stopped supporting it once they realized they could increase their revenues with fees.
Core only removed priority
from its fee and confirmation estimations because it was making those estimates inaccurate, as miners had completely stopped supporting it.
What miners did had everything to do with the formula: Miners are the ones who made sure transaction priority ceased to exist. For that, you can thank miners for being rational. It had absolutely nothing to do with Core.
pools cant change bitcoin rules. only devs can when devs make node upgrade options. so it was the devs that removed the fee formulae
You're confused about what "Bitcoin rules" are. Transaction priority was never a consensus rule. It was a client side rule. Not required by the protocol. That's why there was no fork when miners (and later Core) removed it from their clients.