Accidentally put some money into TIPS, now looking at their profile I see latest tweets dating back to 2014, website URL not updated on Twitter profile... keeps me wonder should dead coins be still listed on the exchange? Or am I missing something here, and it`ll be mooning like tomorrow ? Any enthusiast of this coin here?