A factual question: I remember reading that IoTA got 1,337BTC's worth of buys, of which ~850 was in Bitcoin itself. So here's the question: did those funds get released to the devs?

Thanks.