I think the distribution is fine. Devs deserves more shares and make sure they are motivated enough. We all will count on them.
I'd say MORE BTC FOR DEVS → LESS SHARES FOR DEVS, LESS BTC FOR DEVS → MORE SHARES FOR DEVS. Either devs and us get more coins because we stop at 1200-1500 stakeholders, or we go up to 2500-3000 stakeholders or higher but devs share become smaller.
But I do realize that it is cupidity speaks out of me