There is only one proposal above return that isn't getting funded (spaminator). The stabilizer proposals are broken up into pieces so stakeholders can prioritize different levels of funding relative to other proposals by voting. The largest one is near the bottom so it only gets "left over" funding after the other proposals get paid.
After HF25 there may still be a need for stabilizer or something like it as a form of market maker to tighten the peg better than 5%, which can still return a profit to the stakeholders/DAO albeit likely a smaller one. But as I said, the fund and budget is growing so fast at this point from high stabilizer profits, that in a couple of months when the hard fork goes live, if HBD hasn't been pegged by then, there may be a surplus of budget and we can "do it all" so to speak.
RE: Proposal to Implement an Automated "Tether Style" Pegging Function for HBD to Fix the Currently Ineffective Mechanism in Place.