I have a bunch of XDN coins that I mined from merge mining XMR before their fork on Minergate do I need to do anything with them or can I just leave them there?