The ETFs purchased 9,150 #Bitcoin beyond what the miners produced (assuming the miners sold all).

So at least 9,150 bitcoin were sold from existing holdings. There is much more existing bitcoin that can be sold than there is new Bitcoin coming. The halving still matters but probably for how it affects miner selling behavior.