FWIW Wikipedia lists that number of users as of November 2020. It had a huge influx of users in December and obviously January, to the point that it was number 1 in the App Store before it got pulled. So the 4MM user number is probably very off.