Changes made in revision 7834:
- Hotfix: User names with unsupported letters showed up as empty space in the leaderboard. Such letters or symbols are now replaced by question marks. I know this is still not ideal, but the fonts I have don't support the entire unicode set. I hope I can find a proper solution in the future.