Is there any good reason to treat priority fees differently than Jito tips, in terms of what is (and is not) routed through TipRouter? I don’t see any reason to maintain the distinction, and tend to agree there are benefits to unifying the treatment now versus waiting until changes are made in protocol (and then having to go through the process of making changes to Stakenet at that point to take those protocol changes into account - just seems like unnecessary delay and that timing is out of this community’s control).
Moreover, maintaining an arbitrary distinction seems like it may just invite unnatural behavior to “game” any difference in treatment of priority fees and Jito tips, even after the in protocol changes are made. Similar to the rationale for getting rid of the 50% burn of priority fees, which incentivized users to use out-of-protocol tips vs priority fees. Seems logical to go ahead and unify treatment of user fees, but open to hearing why there’s good reason for maintaining a distinction in terms of what is (and is not) routed through Tiprouter