pull down to refresh

It's already happening. A decade-ish ago, every coin was worth near zero dollars. Now it's about 20,000 more expensive than the dollar itself.