TLDR: what is the size?
https://blog.aragon.org/juror-dispute-guide-app-mining/
https://blog.aragon.org/developer-guide-app-mining/
Case 10: “Voting App”: https://court.aragon.org/disputes/10
"Voting App" forum thread: App Mining Submission: Voting
Aragon apps: https://github.com/aragon/aragon-apps/tree/master/apps
A1 finances: https://mainnet.aragon.org/#/a1/0x38da6ac44200551b75e20451f2e6d9f7175086b5/
Posted on 9th and 10th May: https://discordapp.com/channels/672466989217873929/672466989767458861/709062556857139280
Posted on 16th May: https://discordapp.com/channels/672466989217873929/672466989767458861/711168776527151114
You have my data point.
If your intention is to get new developers on board, then 100k ANT is a sizeable amount. However, if it is divided among the core apps that were already paid for through other measures, then I need to hustle elsewhere…