Ah, bigger pool, same number of people.

I figured there were just fewer people in the pool sharing, due to the whole HF.20 thing.

Thanks for the explanation!