Would not say they did though looking at peakmonsters you can see the last six months of data
https://peakmonsters.com/dashboard

What was more interesting is why daily users dropped May 31st to June 1st
(Its a dramatic fall of half the users/bots?)

That said 176,000 seems to be the real average players over the last month
With card volume and rent pretty consistent overall given the bear market with a big spike 2 weeks ago