Two players with the name lol (different capitalization) exist

The bug

There are two players with the same name, "lol" but with different capitalization:
https://namemc.com/name/LoL

• LOL: https://api.mojang.com/user/profiles/8c3efcffd60046e1a339379b7858a9be/names
• Lol: https://api.mojang.com/user/profiles/3c08435d4b17484ba39c79eb14bcafce/names