Leaderboard filters aren't being calculated correctly

[MarioRodrigues10]

Due to my nickame being written in 2 different ways, the filter thinks that are 2 different users, my suggestion is to check everything in lowercase but display the same way.

[ruilopesm]

What do you mean with "but display the same way"?

[MarioRodrigues10]

By saying "but display the same way", I mean to keep the lower and capital letters as it is right now.

[ruilopesm]

@MarioRodrigues10 but how would one know what is the correct casing? 🤔

[MarioRodrigues10]

@ruilopesm I think we should keep the version with uppercase letters, because if they've put them there it's most likely their github username.