gandalf, that was my point. Currently, yes, we can only calculate "worst case". Everybody releases.
If you then want to adjust the amount of shares actually released, then that's a guess. Go for it. Pick various guesses at your leisure.
We won't know those numbers until KCCLLC posts the voting results.
...Catz
.... Please, just call me Catz ;) - - - - - {and the requisite, all IMHO, do your own due diligence, and make your own investments}