R.L.Steinbeck on Nostr: And that remaining 7% won’t get mined till 2090 or something like that right?And that remaining 7% won’t get mined till 2090 or something like that right?