Did Alameda finally stop market manipulation with the coins they had got at 25% discount? I mean does Alameda still hold all those tokens, and hence manipulating?