Does anyone know how many users there are? The leaderboard says >7k.