PR om ontbrekende gebruikersnaam in minimale leaderboard te repareren

[fokx]

I made a PR, please review.

FIX: username not shown in minimal-leaderboard if  `prioritize_username_in_ux` is false

[pmusaraj (Penar Musaraj)]

Thanks @fokx, this is now merged.