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