So are the developers of Filecoin just going to retire in Hawaii now after becoming rich?