Dear friends, I’ve put a lot of money into filecoin. My question is pretty simple and dumb, is there any hope that this coin will ever come back up?