it is fine to let the developer make the final decision for the third party DACs, but for the DAC which will be developed by 3I, most of the resource come from the AGSer. isn't it reasonable to allocate more shares for AGSer?
The AGSer, instead of mining or buying PTS from exchange, buys AGS from I3. In anycase, once the donation period is over, AGS is most likely going to be made liquid, so you are probably getting a better deal buying those AGS anyway. Changing allocation from 50/50 is going to make a lot of supporters angry.
Regarding AGS, I wonder if it makes better sense to stop the donation, and then keep the remaining AGS to be sold at a latter time when money is needed. If there are a few successful DACs by then, each AGS would be worth a lot more than the current prices and will raise more money.