Minor update with several critical fixes:
- Fixed a freeze when entering a big number in the map seed field;
- Fixed wrong behavior on the Leaderboards page;
- Lowered the rate of false positives in virus checks;
- Removed inconsistency with map seeds after loading a saved game (works only for new games).