We'll be updating the pastebin later today, as for the MantaTokens given out, currently ~75% of amount allocated to donators has been distributed.