Hi !

I noticed that in the IL run leaderboards, there are actually many runs done with Luigi in the Mario leaderboard. Would it be possible to move those runs to the Luigi leaderboards to be fair with the Mario runners ?