suggestions

Just a small suggestion - for bots who are tied at the end of the month for stat trophies, currently the bot with the lower ID will get the better trophy if they both are tied at top 10/25/100. It would be nice to see joint trophies in this instance, to avoid bias towards older bots.

I'm not sure if this is easy to do. Let's wait for Ender's reply.

I agree that choosing the lower id isn't the greatest. As Esv guessed at though, this would require reworking the award script a good bit to support. I'll keep this in mind to do at some point, but to set expectations, I probably won't do it anytime soon.