At any time before this market closes, will the all-time profit leaderboard include accounts named GamblingGandalf, SpeculatingSaruman, and RiskingRadagast? I will still count it if capitalization, spacing, and/or punctuation are different, or if there is a slight spelling variation. It doesn't matter how long the accounts have the names, so three traders on the leaderboard changing their names and then changing them back right after they show up on the leaderboard would count.