Asking for a friend - is it necessary to take any action, if you were an ICO buyer, now that Mainnet has launched?