I haven't looked at #PiNetwork for half a year, and today I happened to see it on Twitter, then downloaded it back, and it has actually migrated. This zhapian project from 2019 claims to have a mainnet in the first quarter. With this amount, I can buy a Redmi phone.