FWIW, as a developer if I'm willing to break out my credit card to pay $5/year for a tool, I am every bit as willing to pay $20. I would wager you'd get far more than just a 1/4 of your users if you jumped up that price.
I agree that if someone has to get out their credit card, they're likely willing to pay more than $5/yr.
The key question here is what percent of the potential purchasers already have a Chrome wallet (or whatever it's called now) and just have to click "buy".
Impulse purchases by these users would be more likely to drop off with a price increase.
On the flip side, the little things do add up. Consider as an example, the cost of a $70 per month cable subscription, versus 5 streaming subscriptions at $15 per month. The developer might not see this, but the accountant should.
