Minor patch 5712b
- New : Option HUD size scale. - Fix : Gap between game resolution and screen resolution. - Fix : Glitch with "alphanumeric puzzle" and "cylinder door" if game resolution was not the same as screen resolution. The old saved games should work, no need to start new story.
