I noiticed that it seems that Antshares (ANS) finally changed over to a new name with Neo (NEO) tonight. Do anyone know if I need to do anything with the antshares wallet since the coin has got a new name?