Changelog 20240110

• Add Spanish support.
• Update hotkeys.
• Change ironman mode to be auto effective when score >= 500.
• Fix leaderboard update problem.

Two records in the ironman leaderboard are removed due to the bug.