Now that Elon Musk has bought Twitter - now the Pit edition (Part 1)

That’s a surprising stat that doesn’t appear to have made it into traditional media sources. How are “users” defined? Can you point me toward this news?