they're not adding inflation. they're just rerouting 1% of it to the dev fund pool, which i think is okay, since everyone gets to pay for it. From years of experience, i've found that making something everybody's business will eventually be no one's business. So we need something that works automatically and everyone just moves on.