Looks like it's 4 million, which is still worth announcing.
With more users, I'm curious if paid accounts are growing at the same rate as free accounts. I also pretty much assume that a much higher percentage of all users in the US will be paid accounts versus other countries, but would be curious what their actual experience is.