That headline sounds like it could start a really interesting discussion on economics, actually. Of course, worth is meaningless when you get to quantities that large. But there are costs, and benefits, of mining it. And analyzing weird interactions and schools of thought from classical economics on those would be super interesting