@ericwastl Honestly, good changes, in my opinion. I thought the global leaderboard should've gone a few years ago anyways, when LLMs started being a thing.
And I did end up conflicted because doing AoC always took too much time towards the end, but I also didn't want to stop halfway.
So really, I welcome both of these changes.