I am a big holder of btd and I am definitely willing to give some up for a dev fund.
10.9 million coins right now. The max coins are irrelevant because it is a PoS coin, if you stake them, you lose nothing to inflation because you are the one receiving the newly minted coins.
I am happy to see you around.
We should try to get all the big holders, so that we can make a decision to find a DEV.