Did the Ethereum foundation decide to dump a few million just now?