there is nothing going on with those, the amount that we got in the dev-fund is there for future development, but as no one is getting hired, no tokens will be sold by us currently.

The remainder is either mined, gained by PoS or traded