Ah! I didn't read the 1st of April joke part.
Apparently I always feel other people don't read and it is actually me who does not read.
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.
reply