There are actually about 61 billion XRP sitting in the 'basement'

Of course. But "just being snarky" is what users here are asked not to do. The damage it causes to the culture outweighs the benefit of making a point that way.

https://news.ycombinator.com/newsguidelines.html