Context

c/o John Bash:

There is a neck-and-neck race for first place, but it's unfortunate that exmateriae is now displaying at 10k at the Leaderboard. It makes it impossible for Lubos or Sergio to know how many points they're behind. Is there any good reason why it can't display as 10,008 or whatever?

Feature description

Go to five digits (or however many... but I think it's ~never more than five?) and add comma, so it looks more like: