pull down to refresh

We know for a fact Satoshis wanted 21m, and this was a bug. Even though "Satoshi wanted" arguments are irrelevant.
Even though the BIP has a jokeish tone, it really was merged and is in Bitcoin Core.