Those who want to learn how to mine Pi, see the pinned comment below