I just read on twitter that ERC 20 tokens (like GNT) won't be valid anymore by June 1st, these ERC-20 tokens should be converted to real tokens or something like that. Someone has insights about that ?