¿Alguien puede decirme sobre #pi coin? ¿Se va a listar o debería dejar de minar? Creo que estoy perdiendo mi tiempo.