is the number at https://manifold.markets/leaderboards the correct current number?

@happypotamus Yes but the API may be more up to the minute.

It's already at 53k with +3% 7 day increase. Easily going to make 55k at that rate