I read all these threads about coins becoming officially dead. However, most of these threads are FUD. When does a coin become official dead? Is it when the developer stops developing? Is it when the coin stops trading on major exchanges?