Wrong order in bot ranking JSON file

[DadeKuma]

Most of the data from 2023.json is in the wrong order. Rankings were historically parsed from the bot-crews channel on Discord, but it seems that most of the time they are randomly ordered.

It's suggested to use the announcement channel instead, but it lacks the C rank ordering.

[PFAhard]

I think it's best to use Google Sheet when it's available.

But the main problem there is the inaccuracy in the names of the bots, because each judge writes them as he wants.

This is being checked empirically:

1. have new bots appeared that have only one race,
2. and this is not after qualification,
3. and there is another one with almost the same name.

I also want to note that all races added from my pull requests should be in the correct order.