Not necessery to 'mention' that the supply collapsed to the halve amount. That the reality is 'mentioned' or not is irrelevant.
It is unquestionably a reduction in supply, but in reality on the peak days of the madness the difference in availability would've probably been less than one per cent. Hundreds of thousands of coins were changing hands.
I guess it may well add up cumulatively but exchange availability is elastic enough to meet most demand while completely disregarding the underlying inflation or reduced amount thereof.