https://manifold.markets/leaderboards

Current banned accounts include:
firstuserhere

BTE

lawlor

If they get removed from the leaderboard page, when they would otherwise have been on it, resolves YES.
ie, doesn't count someone who was banned, and naturally got passed, and is not on the leaderboard because they got passed rather than bc the leaderboard ignores banned users, or that banned user in particular.