Resolves to the non-bot user that was active (made a bet, commented, or created a market) in the largest number of ten-minute periods between the official start and end times of season 8 of Manifold leagues.

Accounts tagged as bots are excluded, and API trades of non-bot-tagged accounts are excluded from activity.

Accounts with significant inorganic trading (i.e. they're noticeably placing trades with the supabase API to dodge the API tax - this is disallowed but I know who you are) are also excluded, based on my judgement (evidence can be provided if need be, but hopefully it doesn't come up).

In the case of a tie, the market resolves to an equal split of all tied users.

I'll resolve at market close using API data, and won't bet on this market.

In the case of duplicates, later-added answers will be ignored (I'll edit them to indicate this).