TLDR: what is the size?
Case 10: “Voting App”: https://court.aragon.org/disputes/10
"Voting App" forum thread: App Mining Submission: Voting
Posted on 9th and 10th May: https://discordapp.com/channels/672466989217873929/672466989767458861/709062556857139280
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…