might i suggest splitting the igt and rta leaderboards up?

Mod note: Idk if we'll do that. We can consider that though.