Patch for MacOS

We have just deployed a patch that should considerably improve the management of saved games for MacOS users. Options and challenges should also be saved correctly from now on.

Sorry for these bugs and a big thank you for your patience. :cutedragon: