Is there anything to do with COIN anymore. I still have some and mined a lot for fun. Or is it dead finally.