Should we limit the leaderboard to just those traders who have an associated Twitter or Farcaster account, or should we include anon .eth’s and .sol’s?