ASICs != people. How many people operate those ASICs? Also,…

ASICs != people. How many people operate those ASICs? Also, TBH, that sounds surprisingly small. Perhaps there are many more ASICs on BTC.