If leaderboard doesn't exist by then, I'll check number of traders myself. If number of traders aren't shared then I'll ask Devs. Currently he is #2, BTE is #1

Since Isaac is #2 at the time of the market creation, only his positions after the creation of this market are eligible. If no one manages to detect that Isaac was briefly #1, then I will not know about it. I request any traders who notice this to share it in the comments so that it can be verified and the market promptly resolved.