I can't confirm the precise number. As we noted, we look at IP addresses. It was roughly 3.3% of the IP addresses. IP addresses can be to a computer that's used by more than one person, so I would be careful about associating an IP address literally with a number of people. However, I think it's fair to say it's roughly in that order.
On April 20th, 2023. See this statement in context.