squatter what you are quoting about what miners removed was not the fee priority formulae. but a dedicated x% 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.
pools cant change bitcoin rules. only devs can when devs make node upgrade options. so it was the devs that removed the fee formulae
....
however a better more effective fee formulae that does give pools fee's but does it fairly where spammers get punished more. helps everyone.

a system of stifling bitcoins blocksize and utility helps no one. and once users are over burdened by the bitcoin networks fee's due to the stifled/stagnancy of no onchain scaling.. and instead use LN to remove themselves from that burden and stay within LN using factories.. what would be left on the network to pay the pools.... nothing.
pools would then need to find new streams of revenue..
and guess what. if they are not getting paid to solve blocks and users are not putting transactions into blocks. pools will just stop mining "empty blocks". thus stalling out the bitcoin network. again helping no one.

services would just use factories to redeploy channel funds withot touching the bitcoin network. after all who would want to pay the inevitable $2-$50 per tx if a factory on LN would do it for pennies.
thus going back to the whole old age banking system that dont use blockchains.

again think about the whole point of bitcoins. the whole revolutionary uniqueness of blockchains
..
i digress
who would want to exit LN to the bitcoin network if it cost $2-$50 to do so, yet things like litecoin could be an exit far cheaper for those wanting to get back to a blockchain of sole control of funds(sovereignty)

seems people are not looking at the whole economic gameplay. and just thinking that somehow if they promote LN hard enough some how they will get rich quick by being an LN hub..
but as logic and running scenarios will show. not everyone will. and those that will would be the commercial services not average joe..

but hey you keep pushing how bitcoin network needs to remain crippled just to pay some company big money.