Where is the official ANN of the coin? and how to mine it? Although it may have been launched now, I'm still interested in it. thanks