Shouldn't #Fetch.ai #AGİX #ocean coins merge today, May 24? (under the name #ASI )..if anyone knows anything, please tell me.